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