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 <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
  21                 printf("%p  %pUl  %s\n", tab->table, tab->guid.b,
  22                        uuid_guid_get_str(tab->guid.b) ?: "(unknown)");
  23         }
  24 }