cmd/efi_common.c

   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 <efi.h>
  10 #include <efi_api.h>
  11 #include <u-boot/uuid.h>
  12
  13 void 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 }