Changeset View
Changeset View
Standalone View
Standalone View
sys/sys/efi.h
Show All 30 Lines | |||||
#include <sys/uuid.h> | #include <sys/uuid.h> | ||||
#include <machine/efi.h> | #include <machine/efi.h> | ||||
#define EFI_PAGE_SHIFT 12 | #define EFI_PAGE_SHIFT 12 | ||||
#define EFI_PAGE_SIZE (1 << EFI_PAGE_SHIFT) | #define EFI_PAGE_SIZE (1 << EFI_PAGE_SHIFT) | ||||
#define EFI_PAGE_MASK (EFI_PAGE_SIZE - 1) | #define EFI_PAGE_MASK (EFI_PAGE_SIZE - 1) | ||||
#define EFI_TABLE_ACPI20 \ | #define EFI_TABLE_SMBIOS \ | ||||
{0x8868e871,0xe4f1,0x11d3,0xbc,0x22,{0x00,0x80,0xc7,0x3c,0x88,0x81}} | {0xeb9d2d31,0x2d88,0x11d3,0x9a,0x16,{0x00,0x90,0x27,0x3f,0xc1,0x4d}} | ||||
#define EFI_TABLE_SAL \ | #define EFI_TABLE_SMBIOS3 \ | ||||
val_packett.cool: These don't seem to be used anywhere in the tree. | |||||
{0xeb9d2d32,0x2d88,0x11d3,0x9a,0x16,{0x00,0x90,0x27,0x3f,0xc1,0x4d}} | {0xf2fd1544,0x9794,0x4a2c,0x99,0x2e,{0xe5,0xbb,0xcf,0x20,0xe3,0x94}} | ||||
enum efi_reset { | enum efi_reset { | ||||
EFI_RESET_COLD = 0, | EFI_RESET_COLD = 0, | ||||
EFI_RESET_WARM = 1, | EFI_RESET_WARM = 1, | ||||
EFI_RESET_SHUTDOWN = 2, | EFI_RESET_SHUTDOWN = 2, | ||||
}; | }; | ||||
typedef uint16_t efi_char; | typedef uint16_t efi_char; | ||||
▲ Show 20 Lines • Show All 232 Lines • Show Last 20 Lines |
These don't seem to be used anywhere in the tree.