Searched refs:device_declaration (Results 1 – 2 of 2) sorted by relevance
| /drivers/acpi/ |
| D | processor_core.c | 49 int device_declaration, u32 acpi_id, phys_cpuid_t *apic_id) in map_x2apic_id() argument
57 if (device_declaration && (apic->uid == acpi_id)) { in map_x2apic_id()
66 int device_declaration, u32 acpi_id, phys_cpuid_t *apic_id) in map_lsapic_id() argument
74 if (device_declaration) { in map_lsapic_id()
88 int device_declaration, u32 acpi_id, phys_cpuid_t *mpidr) in map_gicc_mpidr() argument
101 if (device_declaration && (gicc->uid == acpi_id)) { in map_gicc_mpidr()
113 int device_declaration, u32 acpi_id, in map_rintc_hartid() argument
127 if (device_declaration && rintc->uid == acpi_id) { in map_rintc_hartid()
139 int device_declaration, u32 acpi_id, phys_cpuid_t *phys_id) in map_core_pic_id() argument
151 if (device_declaration && (core_pic->processor_id == acpi_id)) { in map_core_pic_id()
|
| D | acpi_processor.c | 256 int device_declaration = 0; in acpi_processor_get_info() local
296 device_declaration = 1; in acpi_processor_get_info()
311 pr->phys_id = acpi_get_phys_id(pr->handle, device_declaration, in acpi_processor_get_info()
|