kvm_vgic_set_owner
if (kvm_vgic_set_owner(vcpu, irq, ctx))
ret = kvm_vgic_set_owner(vcpu, vcpu->arch.pmu.irq_num,
ret = kvm_vgic_set_owner(vcpu, vcpu->kvm->arch.vgic.mi_intid, vcpu);
int kvm_vgic_set_owner(struct kvm_vcpu *vcpu, unsigned int intid, void *owner);