PCB_FPUINITDONE
PCB_FPUINITDONE | PCB_USERFPUINITDONE);
PCB_FPUINITDONE);
if ((pcb->pcb_flags & PCB_FPUINITDONE) != 0)
clear_pcb_flags(pcb, PCB_FPUINITDONE);
clear_pcb_flags(pcb, PCB_FPUNOSAVE | PCB_FPUINITDONE);
set_pcb_flags(pcb, PCB_FPUINITDONE);
clear_pcb_flags(pcb, PCB_FPUINITDONE | PCB_KERNFPU);
set_pcb_flags(pcb, PCB_FPUINITDONE);
clear_pcb_flags(pcb, PCB_FPUINITDONE);
if ((pcb->pcb_flags & PCB_FPUINITDONE) == 0) {
set_pcb_flags(pcb, PCB_FPUINITDONE |
set_pcb_flags(pcb, PCB_FPUINITDONE);
clear_pcb_flags(td->td_pcb, PCB_FPUINITDONE);
PCB_FPUINITDONE | PCB_USERFPUINITDONE);
set_pcb_flags(pcb, PCB_FPUINITDONE);
set_pcb_flags(pcb, PCB_FPUINITDONE |
clear_pcb_flags(pcb2, PCB_FPUINITDONE | PCB_USERFPUINITDONE |