tag	line	file	source code
popb	328	kernel/vm86.c	switch (popb(csp, ip)) {
popb	332	kernel/vm86.c	switch (popb(csp, ip)) {
popb	372	kernel/vm86.c	do_int(regs, popb(csp, ip), ssp, sp);