Symbol: DBGWCR_EL1
sys/arm64/vmm/vmm_hyp.c
563
hypctx_read_sys_reg(hypctx, DBGWCR_EL1(x))); \
sys/arm64/vmm/vmm_hyp.c
81
hypctx_write_sys_reg(hypctx, DBGWCR_EL1(x), \