arch/arm64/kvm/hyp/vgic-v3-sr.c

1029

write_gicreg(vmcr, ICH_VMCR_EL2);

arch/arm64/kvm/hyp/vgic-v3-sr.c

1069

write_gicreg(vmcr, ICH_VMCR_EL2);

arch/arm64/kvm/hyp/vgic-v3-sr.c

238

cpu_if->vgic_vmcr = read_gicreg(ICH_VMCR_EL2);

arch/arm64/kvm/hyp/vgic-v3-sr.c

303

write_gicreg(cpu_if->vgic_vmcr, ICH_VMCR_EL2);

arch/arm64/kvm/hyp/vgic-v3-sr.c

518

return read_gicreg(ICH_VMCR_EL2);

arch/arm64/kvm/hyp/vgic-v3-sr.c

523

write_gicreg(vmcr, ICH_VMCR_EL2);

arch/arm64/kvm/sys_regs.c

3739

EL2_REG_VNCR_GICv3(ICH_VMCR_EL2),

arch/arm64/kvm/vgic-sys-reg-v3.c

427

EL2_REG(ICH_VMCR_EL2, ich_reg),

arch/arm64/kvm/vgic/vgic-v3-nested.c

185

vmcr = __vcpu_sys_reg(vcpu, ICH_VMCR_EL2);

arch/arm64/kvm/vgic/vgic-v3-nested.c

313

__vcpu_assign_sys_reg(vcpu, ICH_VMCR_EL2, read_sysreg_s(SYS_ICH_VMCR_EL2));

arch/arm64/kvm/vgic/vgic-v3-nested.c

330

s_cpu_if->vgic_vmcr = __vcpu_sys_reg(vcpu, ICH_VMCR_EL2);