Searched refs:uid_string (Results 1 – 1 of 1) sorted by relevance
58 static void acpi_print_cpu_uid(uint32_t uid, char *uid_string);332 acpi_print_cpu_uid(uint32_t uid, char *uid_string) in acpi_print_cpu_uid() argument336 if (uid_string != NULL) in acpi_print_cpu_uid()337 printf(" (%s)", uid_string); in acpi_print_cpu_uid()