Symbol: HOST_ICH_ELRSR_EL2
sys/arm64/vmm/io/vgic_v3.c
2132
hypctx_write_sys_reg(hypctx, HOST_ICH_ELRSR_EL2,
sys/arm64/vmm/vmm_hyp.c
188
hypctx_write_sys_reg(hypctx, HOST_ICH_ELRSR_EL2,