Searched refs:PCB_KERNFPU (Results 1 - 3 of 3) sorted by relevance

/freebsd-10.0-release/sys/amd64/include/
H A Dfpu.h50 #define PCB_USER_FPU(pcb) (((pcb)->pcb_flags & PCB_KERNFPU) == 0)
H A Dpcb.h78 #define PCB_KERNFPU 0x04 /* kernel uses fpu */ macro
/freebsd-10.0-release/sys/amd64/amd64/
H A Dfpu.c930 set_pcb_flags(pcb, PCB_KERNFPU);
949 clear_pcb_flags(pcb, PCB_KERNFPU);
951 clear_pcb_flags(pcb, PCB_FPUINITDONE | PCB_KERNFPU);
972 set_pcb_flags(curpcb, PCB_KERNFPU);
982 return ((curpcb->pcb_flags & PCB_KERNFPU) != 0);

Completed in 73 milliseconds