Searched defs:device_declaration (Results 1 – 2 of 2) sorted by relevance
58 int device_declaration, u32 acpi_id, int *apic_id) in map_x2apic_id()75 int device_declaration, u32 acpi_id, int *apic_id) in map_lsapic_id()
255 int cpu_index, device_declaration = 0; in acpi_processor_get_info() local