Symbol: PCB_DBREGS
sys/platform/pc64/include/pcb.h
87
#define PCB_DBREGS 0x00000002 /* process using debug registers */
sys/platform/vkernel64/include/pcb.h
76
#define PCB_DBREGS 0x02 /* process using debug registers */