Searched refs:redist_vcpu_id (Results 1 – 1 of 1) sorted by relevance
904 int redist_vcpu_id, in vgic_register_kvm_io_dev() argument910 if (redist_vcpu_id >= 0) in vgic_register_kvm_io_dev()911 vcpu = kvm_get_vcpu(kvm, redist_vcpu_id); in vgic_register_kvm_io_dev()