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 <sjg@chromium.org>
   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 }