Searched refs:DEFAULT_MI_INTID (Results 1 – 1 of 1) sorted by relevance
242 #define DEFAULT_MI_INTID 25 macro256 vcpu->kvm->arch.vgic.mi_intid = DEFAULT_MI_INTID; in kvm_vgic_vcpu_nv_init()