Searched refs:mi_intid (Results 1 – 4 of 4) sorted by relevance
215 if (vcpu->kvm->arch.vgic.mi_intid == 0) in kvm_vgic_vcpu_nv_init()216 vcpu->kvm->arch.vgic.mi_intid = DEFAULT_MI_INTID; in kvm_vgic_vcpu_nv_init()217 ret = kvm_vgic_set_owner(vcpu, vcpu->kvm->arch.vgic.mi_intid, vcpu); in kvm_vgic_vcpu_nv_init()
395 vcpu->kvm->arch.vgic.mi_intid, state, vcpu); in vgic_v3_handle_nested_maint_irq()408 vcpu->kvm->arch.vgic.mi_intid, level, vcpu); in vgic_v3_nested_update_mi()
309 r = put_user(dev->kvm->arch.vgic.mi_intid, uaddr); in vgic_get_common_attr()596 val = dev->kvm->arch.vgic.mi_intid; in vgic_v3_attr_regs_access()603 dev->kvm->arch.vgic.mi_intid = val; in vgic_v3_attr_regs_access()
253 u32 mi_intid; member