Searched defs:device_declaration (Results 1 – 2 of 2) sorted by relevance
| /linux/drivers/acpi/ |
| H A D | processor_core.c | 49 int device_declaration, u32 acpi_id, phys_cpuid_t *apic_id) in map_x2apic_id()
66 int device_declaration, u32 acpi_id, phys_cpuid_t *apic_id) in map_lsapic_id()
88 int device_declaration, u32 acpi_id, phys_cpuid_t *mpidr) in map_gicc_mpidr()
114 int device_declaration, u32 acpi_id, in map_rintc_hartid()
140 int device_declaration, u32 acpi_id, phys_cpuid_t *phys_id) in map_core_pic_id()
|
| H A D | acpi_processor.c | 281 int device_declaration = 0; in acpi_processor_get_info() local
|