device_declaration  234 drivers/acpi/acpi_processor.c 	int device_declaration = 0;
device_declaration  277 drivers/acpi/acpi_processor.c 		device_declaration = 1;
device_declaration  292 drivers/acpi/acpi_processor.c 	pr->phys_id = acpi_get_phys_id(pr->handle, device_declaration,
device_declaration   52 drivers/acpi/processor_core.c 		int device_declaration, u32 acpi_id, phys_cpuid_t *apic_id)
device_declaration   60 drivers/acpi/processor_core.c 	if (device_declaration && (apic->uid == acpi_id)) {
device_declaration   69 drivers/acpi/processor_core.c 		int device_declaration, u32 acpi_id, phys_cpuid_t *apic_id)
device_declaration   77 drivers/acpi/processor_core.c 	if (device_declaration) {
device_declaration   91 drivers/acpi/processor_core.c 		int device_declaration, u32 acpi_id, phys_cpuid_t *mpidr)
device_declaration  104 drivers/acpi/processor_core.c 	if (device_declaration && (gicc->uid == acpi_id)) {