Symbol: DBGBCR_EL1
sys/arm64/vmm/vmm_hyp.c
536
hypctx_read_sys_reg(hypctx, DBGBCR_EL1(x))); \
sys/arm64/vmm/vmm_hyp.c
54
hypctx_write_sys_reg(hypctx, DBGBCR_EL1(x), \