Searched refs:vgic_model (Results 1 – 3 of 3) sorted by relevance
52 if (vcpu->kvm->arch.vgic.vgic_model == KVM_DEV_TYPE_ARM_VGIC_V3) in vgic_v3_get_lr()59 vcpu->kvm->arch.vgic.vgic_model == KVM_DEV_TYPE_ARM_VGIC_V2) in vgic_v3_get_lr()91 switch (vcpu->kvm->arch.vgic.vgic_model) { in vgic_v3_set_lr()199 if (vcpu->kvm->arch.vgic.vgic_model == KVM_DEV_TYPE_ARM_VGIC_V3) in vgic_v3_enable()
1624 if (kvm->arch.vgic.vgic_model != KVM_DEV_TYPE_ARM_VGIC_V2) in vgic_lazy_init()2141 kvm->arch.vgic.vgic_model = type; in kvm_vgic_create()2249 if (vgic->vgic_model != type_needed) { in kvm_vgic_addr()
175 u32 vgic_model; member