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