acpi_processor_registered 1425 drivers/acpi/processor_idle.c static int acpi_processor_registered;
acpi_processor_registered 1447 drivers/acpi/processor_idle.c 		if (!acpi_processor_registered) {
acpi_processor_registered 1468 drivers/acpi/processor_idle.c 			if (acpi_processor_registered == 0)
acpi_processor_registered 1472 drivers/acpi/processor_idle.c 		acpi_processor_registered++;
acpi_processor_registered 1486 drivers/acpi/processor_idle.c 		acpi_processor_registered--;
acpi_processor_registered 1487 drivers/acpi/processor_idle.c 		if (acpi_processor_registered == 0)