Searched refs:acpi_print_cpu_uid (Results 1 – 1 of 1) sorted by relevance
61 static void acpi_print_cpu_uid(uint32_t uid, char *uid_string);347 acpi_print_cpu_uid(uint32_t uid, char *uid_string) in acpi_print_cpu_uid() function534 acpi_print_cpu_uid(lsapic->Uid, lsapic->UidString); in acpi_print_madt()549 acpi_print_cpu_uid(x2apic->Uid, NULL); in acpi_print_madt()554 acpi_print_cpu_uid(x2apic_nmi->Uid, NULL); in acpi_print_madt()559 acpi_print_cpu_uid(gicc->Uid, NULL); in acpi_print_madt()