Symbol: DBGBVR_EL1
sys/arm64/vmm/vmm_hyp.c
538
hypctx_read_sys_reg(hypctx, DBGBVR_EL1(x)))
sys/arm64/vmm/vmm_hyp.c
56
hypctx_write_sys_reg(hypctx, DBGBVR_EL1(x), \