sys/amd64/amd64/fpu.c

1172

set_pcb_flags(pcb, PCB_KERNFPU | PCB_FPUNOSAVE |

sys/amd64/amd64/fpu.c

1189

set_pcb_flags(pcb, PCB_KERNFPU);

sys/amd64/amd64/fpu.c

1229

clear_pcb_flags(pcb, PCB_KERNFPU);

sys/amd64/amd64/fpu.c

1231

clear_pcb_flags(pcb, PCB_FPUINITDONE | PCB_KERNFPU);

sys/amd64/amd64/fpu.c

1253

set_pcb_flags(curpcb, PCB_KERNFPU | PCB_KERNFPU_THR);

sys/amd64/amd64/vm_machdep.c

162

PCB_KERNFPU | PCB_KERNFPU_THR);

sys/amd64/amd64/vm_machdep.c

164

MPASS((pcb2->pcb_flags & (PCB_KERNFPU | PCB_KERNFPU_THR)) == 0);

sys/amd64/include/fpu.h

49

#define PCB_USER_FPU(pcb) (((pcb)->pcb_flags & PCB_KERNFPU) == 0)