Searched refs:guid_to_string (Results 1 – 1 of 1) sorted by relevance
527 guid_to_string(EFI_GUID *guid) in guid_to_string() function584 printf("Unknown Table (%s)", guid_to_string(guid)); in command_configuration()