Symbol: xen_acpi_pad_idle_cpus
drivers/xen/xen-acpi-pad.c
134
xen_acpi_pad_idle_cpus(0);
drivers/xen/xen-acpi-pad.c
90
idle_nums = xen_acpi_pad_idle_cpus(idle_nums)