Searched refs:uid_string (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() argument351 if (uid_string != NULL) in acpi_print_cpu_uid()352 printf(" (%s)", uid_string); in acpi_print_cpu_uid()