Searched refs:uid_string (Results 1 - 1 of 1) sorted by relevance

/freebsd-12-stable/usr.sbin/acpi/acpidump/
H A Dacpi.c58 static void acpi_print_cpu_uid(uint32_t uid, char *uid_string);
320 acpi_print_cpu_uid(uint32_t uid, char *uid_string) argument
324 if (uid_string != NULL)
325 printf(" (%s)", uid_string);

Completed in 106 milliseconds