i386/isa/npx.c

568 		fpusave(curpcb->pcb_save);
885 	if ((curpcb->pcb_flags & PCB_NPXINITDONE) == 0) {
896 		bcopy(npx_initialstate, curpcb->pcb_save, cpu_max_ext_state_size);
897 		fpurstor(curpcb->pcb_save);
898 		if (curpcb->pcb_initial_npxcw != __INITIAL_NPXCW__)
899 			fldcw(curpcb->pcb_initial_npxcw);
900 		curpcb->pcb_flags |= PCB_NPXINITDONE;
901 		if (PCB_USER_FPU(curpcb))
902 			curpcb->pcb_flags |= PCB_NPXUSERINITDONE;
904 		fpurstor(curpcb->pcb_save);
1371 	KASSERT(curpcb->pcb_save == get_pcb_user_save_pcb(curpcb),
1373 	KASSERT(PCB_USER_FPU(curpcb), ("recursive call"));
1375 	curpcb->pcb_flags |= PCB_KERNNPX;
1385 	return ((curpcb->pcb_flags & PCB_KERNNPX) != 0);