Symbol: DBGCLAIMSET_EL1
sys/arm64/vmm/vmm_hyp.c
47
hypctx_write_sys_reg(hypctx, DBGCLAIMSET_EL1,
sys/arm64/vmm/vmm_hyp.c
529
hypctx_read_sys_reg(hypctx, DBGCLAIMSET_EL1));