]>
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]; | |
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 | } |