jcs.org
"Das U-Boot" Source Tree
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
13void 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}