compiler/include/hardware/efi/config.h

   1 #ifndef HARDWARE_EFI_CONFIG_H
   2 #define HARDWARE_EFI_CONFIG_H
   3
   4 /*
   5     Copyright © 2011, The AROS Development Team. All rights reserved.
   6     $Id$
   7
   8     Desc: EFI firmware configuration tables
   9     Lang: english
  10 */
  11
  12 #include <libraries/uuid.h>
  13
  14 struct EFI_Config
  15 {
  16     uuid_t  VendorGUID;
  17     void   *Table;
  18 };
  19
  20 /* Known GUIDs */
  21 #define ACPI_20_TABLE_GUID    MAKE_UUID(0x8868E871, 0xE4F1, 0x11D3, 0xBC22, 0x0080C73C8881)
  22 #define ACPI_TABLE_GUID       MAKE_UUID(0xEB9D2D30, 0x2D88, 0x11D3, 0x9A16, 0x0090273FC14D)
  23 #define SAL_SYSTEM_TABLE_GUID MAKE_UUID(0xEB9D2D32, 0x2D88, 0x11D3, 0x9A16, 0x0090273FC14D)
  24 #define SMBIOS_TABLE_GUID     MAKE_UUID(0xEB9D2D31, 0x2D88, 0x11D3, 0x9A16, 0x0090273FC14D)
  25 #define MPS_TABLE_GUID        MAKE_UUID(0xEB9D2D2F, 0x2D88, 0x11D3, 0x9A16, 0x0090273FC14D)
  26
  27 #endif