Symbol: GICH_VMCR
arch/arm64/kvm/vgic/vgic-v2.c
576
cpu_if->vgic_vmcr = readl_relaxed(kvm_vgic_global_state.vctrl_base + GICH_VMCR);
arch/arm64/kvm/vgic/vgic-v2.c
612
kvm_vgic_global_state.vctrl_base + GICH_VMCR);