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