sys/arch/x86/x86/dbregs.c

108

KASSERT((pcb->pcb_flags & PCB_DBREGS) == 0);

sys/arch/x86/x86/dbregs.c

116

pcb->pcb_flags &= ~PCB_DBREGS;

sys/arch/x86/x86/dbregs.c

129

pcb->pcb_flags &= ~PCB_DBREGS;

sys/arch/x86/x86/dbregs.c

142

pcb->pcb_flags |= PCB_DBREGS;

sys/arch/x86/x86/dbregs.c

152

if (!(pcb->pcb_flags & PCB_DBREGS)) {

sys/arch/x86/x86/dbregs.c

172

if (!(pcb->pcb_flags & PCB_DBREGS)) {

sys/arch/x86/x86/dbregs.c

288

pcb->pcb_flags |= PCB_DBREGS;

sys/arch/x86/x86/dbregs.c

303

olddb = (oldpcb->pcb_flags & PCB_DBREGS) != 0;

sys/arch/x86/x86/dbregs.c

304

newdb = (newpcb->pcb_flags & PCB_DBREGS) != 0;

sys/arch/x86/x86/vm_machdep.c

152

pcb2->pcb_flags &= ~PCB_DBREGS;

sys/arch/x86/x86/vm_machdep.c

266

KASSERT((pcb->pcb_flags & PCB_DBREGS) == 0);