xen_acpi_pad_idle_cpus 89 drivers/xen/xen-acpi-pad.c idle_nums = xen_acpi_pad_idle_cpus(idle_nums) xen_acpi_pad_idle_cpus 128 drivers/xen/xen-acpi-pad.c xen_acpi_pad_idle_cpus(0);