]>
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 | ||
9 | #include <common.h> | |
10 | #include <efi.h> | |
11 | #include <efi_api.h> | |
12 | #include <uuid.h> | |
13 | ||
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]; | |
041840ee | 20 | |
8c06b27e | 21 | printf("%p %pUl %s\n", tab->table, tab->guid.b, |
041840ee SG |
22 | uuid_guid_get_str(tab->guid.b) ?: "(unknown)"); |
23 | } | |
24 | } |