Searched refs:acpi_print_cpu_uid (Results 1 – 1 of 1) sorted by relevance
80 static void acpi_print_cpu_uid(uint32_t uid, char *uid_string);911 acpi_print_cpu_uid(uint32_t uid, char *uid_string) in acpi_print_cpu_uid() function1115 acpi_print_cpu_uid(lsapic->Uid, lsapic->UidString); in acpi_print_madt()1130 acpi_print_cpu_uid(x2apic->Uid, NULL); in acpi_print_madt()1135 acpi_print_cpu_uid(x2apic_nmi->Uid, NULL); in acpi_print_madt()1140 acpi_print_cpu_uid(gicc->Uid, NULL); in acpi_print_madt()