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