Searched refs:kvm_vgic_get_max_vcpus (Results 1 – 3 of 3) sorted by relevance
319 int kvm_vgic_get_max_vcpus(void);
134 kvm->arch.max_vcpus = kvm_vgic_get_max_vcpus(); in kvm_arch_init_vm()
1638 int kvm_vgic_get_max_vcpus(void) in kvm_vgic_get_max_vcpus() function