Symbol: DBG_WRP_MAX
sys/arm64/arm64/exec_machdep.c
297
for (i = 0; i < DBG_WRP_MAX; i++) {
sys/arm64/include/debug_monitor.h
42
uint64_t dbg_wcr[DBG_WRP_MAX];
sys/arm64/include/debug_monitor.h
43
uint64_t dbg_wvr[DBG_WRP_MAX];