Searched refs:PCB_USERFPUINITDONE (Results 1 – 4 of 4) sorted by relevance
784 PCB_USERFPUINITDONE); in restore_fpu_curthread()878 if ((pcb->pcb_flags & PCB_USERFPUINITDONE) == 0) { in fpugetregs()925 PCB_FPUINITDONE | PCB_USERFPUINITDONE); in fpuuserinited()988 PCB_USERFPUINITDONE); in fpusetregs()1231 if ((pcb->pcb_flags & PCB_USERFPUINITDONE) != 0) { in fpu_kern_leave()
573 clear_pcb_flags(pcb2, PCB_FPUINITDONE | PCB_USERFPUINITDONE | in cpu_copy_thread()
2458 PCB_FPUINITDONE | PCB_USERFPUINITDONE); in fpstate_drop()
86 #define PCB_USERFPUINITDONE 0x10 /* fpu user state is initialized */ macro