__acpi_processor_start   98 drivers/acpi/processor_driver.c static int __acpi_processor_start(struct acpi_device *device);
__acpi_processor_start  117 drivers/acpi/processor_driver.c 		ret = __acpi_processor_start(device);
__acpi_processor_start  259 drivers/acpi/processor_driver.c 	ret = __acpi_processor_start(device);