ICH_HCR_EL2
.index = ICH_HCR_EL2,
.index = ICH_HCR_EL2,
.index = ICH_HCR_EL2,
.index = ICH_HCR_EL2,
ich_hcr = __vcpu_sys_reg(vcpu, ICH_HCR_EL2);
u64 val = read_gicreg(ICH_HCR_EL2);
write_gicreg(0, ICH_HCR_EL2);
write_gicreg(compute_ich_hcr(cpu_if), ICH_HCR_EL2);
write_gicreg(vgic_ich_hcr_trap_bits() | ICH_HCR_EL2_En, ICH_HCR_EL2);
write_gicreg(0, ICH_HCR_EL2);
hcr = read_gicreg(ICH_HCR_EL2);
write_gicreg(hcr, ICH_HCR_EL2);
set_sysreg_masks(kvm, ICH_HCR_EL2, resx);
EL2_REG_VNCR_GICv3(ICH_HCR_EL2),
EL2_REG(ICH_HCR_EL2, ich_reg),
hcr = __vcpu_sys_reg(vcpu, ICH_HCR_EL2);
if (__vcpu_sys_reg(vcpu, ICH_HCR_EL2) & ICH_HCR_EL2_UIE) {
u64 val = __vcpu_sys_reg(vcpu, ICH_HCR_EL2);
__vcpu_rmw_sys_reg(vcpu, ICH_HCR_EL2, &=, ~ICH_HCR_EL2_EOIcount);
__vcpu_rmw_sys_reg(vcpu, ICH_HCR_EL2, |=, read_sysreg_s(SYS_ICH_HCR_EL2) & ICH_HCR_EL2_EOIcount);
s_cpu_if->vgic_hcr = __vcpu_sys_reg(vcpu, ICH_HCR_EL2);
level = (__vcpu_sys_reg(vcpu, ICH_HCR_EL2) & ICH_HCR_EL2_En) && vgic_v3_get_misr(vcpu);