pcb_esp           315 arch/i386/i386/cpu.c 		    ci->ci_dev.dv_xname, pcb, pcb->pcb_esp);
pcb_esp           415 arch/i386/i386/cpu.c 		printf(", init idle stack ptr is 0x%x\n", pcb->pcb_esp);
pcb_esp           133 arch/i386/i386/vm_machdep.c 	pcb->pcb_esp = (int)sf;