1 // SPDX-License-Identifier: GPL-2.0+
2 /*
3  * Common code for EFI commands
4  *
5  * Copyright 2023 Google LLC
6  * Written by Simon Glass <sjg@chromium.org>
7  */
8 
9 #include <common.h>
10 #include <efi.h>
11 #include <efi_api.h>
12 #include <uuid.h>
13 
efi_show_tables(struct efi_system_table * systab)14 void efi_show_tables(struct efi_system_table *systab)
15 {
16 	int i;
17 
18 	for (i = 0; i < systab->nr_tables; i++) {
19 		struct efi_configuration_table *tab = &systab->tables[i];
20 		char guid_str[37];
21 
22 		uuid_bin_to_str(tab->guid.b, guid_str, 1);
23 		printf("%p  %pUl  %s\n", tab->table, guid_str,
24 		       uuid_guid_get_str(tab->guid.b) ?: "(unknown)");
25 	}
26 }
27