Symbol: DBGWCR_MASK
sys/arm64/arm64/exec_machdep.c
313
DBGWCR_MASK;
sys/arm64/arm64/exec_machdep.c
329
(ctrl & DBGWCR_MASK) != 0)