Searched refs:dom0_max_vcpus (Results 1 – 5 of 5) sorted by relevance
54 unsigned int dom0_max_vcpus(void);
160 unsigned int __init dom0_max_vcpus(void) in dom0_max_vcpus() function206 unsigned int max_vcpus = dom0_max_vcpus(); in alloc_dom0_vcpu0()
2614 n = min(n, dom0_max_vcpus()); in arch_hwdom_irqs()
678 max_vcpus = dom0_max_vcpus(); in pvh_setup_acpi_madt()
642 For example, with `dom0_max_vcpus=4-8`:
Completed in 13 milliseconds