Searched refs:intid (Results 1 – 1 of 1) sorted by relevance
133 u32 intid; /* Guest visible INTID */ member377 int kvm_vgic_inject_irq(struct kvm *kvm, int cpuid, unsigned int intid,419 int kvm_vgic_set_owner(struct kvm_vcpu *vcpu, unsigned int intid, void *owner);