PCB_DBREGS
if ((pcb->pcb_flags & PCB_DBREGS) == 0)
clear_pcb_flags(pcb, PCB_DBREGS);
set_pcb_flags(pcb, PCB_DBREGS);
ASSYM(PCB_DBREGS, PCB_DBREGS);
if (pcb->pcb_flags & PCB_DBREGS) {
clear_pcb_flags(pcb, PCB_DBREGS);
pcb->pcb_flags |= PCB_DBREGS;
if ((pcb->pcb_flags & PCB_DBREGS) == 0)
pcb->pcb_flags &= ~PCB_DBREGS;
ASSYM(PCB_DBREGS, PCB_DBREGS);
if (td->td_pcb->pcb_flags & PCB_DBREGS) {
td->td_pcb->pcb_flags &= ~PCB_DBREGS;