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);