]>
Commit | Line | Data |
---|---|---|
041840ee SG |
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 <[email protected]> | |
7 | */ | |
8 | ||
041840ee SG |
9 | #include <efi.h> |
10 | #include <efi_api.h> | |
58d825fb | 11 | #include <u-boot/uuid.h> |
041840ee SG |
12 | |
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]; | |
041840ee | 19 | |
8c06b27e | 20 | printf("%p %pUl %s\n", tab->table, tab->guid.b, |
041840ee SG |
21 | uuid_guid_get_str(tab->guid.b) ?: "(unknown)"); |
22 | } | |
23 | } |