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