Searched refs:device_declaration (Results 1 – 2 of 2) sorted by relevance
51 int device_declaration, u32 acpi_id, phys_cpuid_t *apic_id) in map_x2apic_id() argument59 if (device_declaration && (apic->uid == acpi_id)) { in map_x2apic_id()68 int device_declaration, u32 acpi_id, phys_cpuid_t *apic_id) in map_lsapic_id() argument76 if (device_declaration) { in map_lsapic_id()90 int device_declaration, u32 acpi_id, phys_cpuid_t *mpidr) in map_gicc_mpidr() argument103 if (device_declaration && (gicc->uid == acpi_id)) { in map_gicc_mpidr()
219 int cpu_index, device_declaration = 0; in acpi_processor_get_info() local262 device_declaration = 1; in acpi_processor_get_info()266 phys_id = acpi_get_phys_id(pr->handle, device_declaration, pr->acpi_id); in acpi_processor_get_info()