Symbol: DBGWVR_EL1
sys/arm64/vmm/vmm_hyp.c
565
hypctx_read_sys_reg(hypctx, DBGWVR_EL1(x)))
sys/arm64/vmm/vmm_hyp.c
83
hypctx_write_sys_reg(hypctx, DBGWVR_EL1(x), \