PCB_UPDATE_FPU
#define PCB_SET_UPDATE_FPU(pcb) ((pcb)->pcb_rupdate |= PCB_UPDATE_FPU)
(((pcb)->pcb_rupdate & PCB_UPDATE_FPU) != 0)
#define PCB_CLEAR_UPDATE_FPU(pcb) ((pcb)->pcb_rupdate &= ~PCB_UPDATE_FPU)