Searched defs:acpi_id (Results 1 – 2 of 2) sorted by relevance
504 char acpi_id[16] = { 0 }; in dump_local_apic_nmi() local538 char acpi_id[16] = { 0 }; in dump_local_apic() local
43 uint8_t acpi_id; member