clear_pcb_flags
clear_pcb_flags(pcb, PCB_DBREGS);
clear_pcb_flags(pcb, PCB_32BIT | PCB_TLSBASE);
clear_pcb_flags(curthread->td_pcb,
clear_pcb_flags(pcb, PCB_FPUINITDONE);
clear_pcb_flags(pcb, PCB_FPUNOSAVE | PCB_FPUINITDONE);
clear_pcb_flags(pcb, PCB_KERNFPU);
clear_pcb_flags(pcb, PCB_FPUINITDONE | PCB_KERNFPU);
clear_pcb_flags(pcb, PCB_FPUINITDONE);
clear_pcb_flags(td->td_pcb, PCB_FPUINITDONE);
clear_pcb_flags(pcb, PCB_TLSBASE);
clear_pcb_flags(pcb2, PCB_FPUINITDONE | PCB_USERFPUINITDONE |
clear_pcb_flags(pcb2, PCB_TLSBASE);
clear_pcb_flags(pcb, PCB_DBREGS);
clear_pcb_flags(pcb, PCB_TLSBASE);
void clear_pcb_flags(struct pcb *pcb, const u_int flags);
clear_pcb_flags(pcb, PCB_32BIT | PCB_TLSBASE);
clear_pcb_flags(pcb, PCB_TLSBASE);