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 <efi.h>
10 #include <efi_api.h>
11 #include <u-boot/uuid.h>
12 
efi_show_tables(struct efi_system_table * systab)13 void efi_show_tables(struct efi_system_table *systab)
14 {
15 	int i;
16 
17 	for (i = 0; i < systab->nr_tables; i++) {
18 		struct efi_configuration_table *tab = &systab->tables[i];
19 
20 		printf("%p  %pUl  %s\n", tab->table, tab->guid.b,
21 		       uuid_guid_get_str(tab->guid.b) ?: "(unknown)");
22 	}
23 }
24