Symbol: npxsave
sys/i386/i386/vm_machdep.c
151
npxsave(td1->td_pcb->pcb_save);
sys/i386/include/npx.h
60
void npxsave(union savefpu *addr);