Symbol: restore_npx_curthread
sys/i386/i386/npx.c
875
restore_npx_curthread(td, td->td_pcb);
sys/i386/i386/npx.c
907
restore_npx_curthread(td, pcb);