5 * Extensible Firmware Interface
6 * Based on 'Extensible Firmware Interface Specification' version 0.9, April 30, 1999
8 * Copyright (C) 1999 VA Linux Systems
9 * Copyright (C) 1999 Walt Drummond <drummond@valinux.com>
10 * Copyright (C) 1999, 2002 Hewlett-Packard Co.
11 * David Mosberger-Tang <davidm@hpl.hp.com>
12 * Stephane Eranian <eranian@hpl.hp.com>
14 #include <linux/init.h>
15 #include <linux/string.h>
16 #include <linux/time.h>
17 #include <linux/types.h>
18 #include <linux/proc_fs.h>
21 #include <asm/system.h>
24 #define EFI_LOAD_ERROR (1L | (1L << 63))
25 #define EFI_INVALID_PARAMETER (2L | (1L << 63))
26 #define EFI_UNSUPPORTED (3L | (1L << 63))
27 #define EFI_BAD_BUFFER_SIZE (4L | (1L << 63))
28 #define EFI_BUFFER_TOO_SMALL (5L | (1L << 63))
29 #define EFI_NOT_FOUND (14L | (1L << 63))
31 typedef unsigned long efi_status_t;
32 typedef u8 efi_bool_t;
33 typedef u16 efi_char16_t; /* UNICODE character */
40 #define EFI_GUID(a,b,c,d0,d1,d2,d3,d4,d5,d6,d7) \
42 {{ (a) & 0xff, ((a) >> 8) & 0xff, ((a) >> 16) & 0xff, ((a) >> 24) & 0xff, \
43 (b) & 0xff, ((b) >> 8) & 0xff, \
44 (c) & 0xff, ((c) >> 8) & 0xff, \
45 (d0), (d1), (d2), (d3), (d4), (d5), (d6), (d7) }})
48 * Generic EFI table header
59 * Memory map descriptor:
63 #define EFI_RESERVED_TYPE 0
64 #define EFI_LOADER_CODE 1
65 #define EFI_LOADER_DATA 2
66 #define EFI_BOOT_SERVICES_CODE 3
67 #define EFI_BOOT_SERVICES_DATA 4
68 #define EFI_RUNTIME_SERVICES_CODE 5
69 #define EFI_RUNTIME_SERVICES_DATA 6
70 #define EFI_CONVENTIONAL_MEMORY 7
71 #define EFI_UNUSABLE_MEMORY 8
72 #define EFI_ACPI_RECLAIM_MEMORY 9
73 #define EFI_ACPI_MEMORY_NVS 10
74 #define EFI_MEMORY_MAPPED_IO 11
75 #define EFI_MEMORY_MAPPED_IO_PORT_SPACE 12
76 #define EFI_PAL_CODE 13
77 #define EFI_MAX_MEMORY_TYPE 14
79 /* Attribute values: */
80 #define EFI_MEMORY_UC 0x0000000000000001 /* uncached */
81 #define EFI_MEMORY_WC 0x0000000000000002 /* write-coalescing */
82 #define EFI_MEMORY_WT 0x0000000000000004 /* write-through */
83 #define EFI_MEMORY_WB 0x0000000000000008 /* write-back */
84 #define EFI_MEMORY_WP 0x0000000000001000 /* write-protect */
85 #define EFI_MEMORY_RP 0x0000000000002000 /* read-protect */
86 #define EFI_MEMORY_XP 0x0000000000004000 /* execute-protect */
87 #define EFI_MEMORY_RUNTIME 0x8000000000000000 /* range requires runtime mapping */
88 #define EFI_MEMORY_DESCRIPTOR_VERSION 1
90 #define EFI_PAGE_SHIFT 12
101 typedef int efi_freemem_callback_t (u64 start, u64 end, void *arg);
104 * Types and defines for Time Services
106 #define EFI_TIME_ADJUST_DAYLIGHT 0x1
107 #define EFI_TIME_IN_DAYLIGHT 0x2
108 #define EFI_UNSPECIFIED_TIMEZONE 0x07ff
131 * Types and defines for EFI ResetSystem
133 #define EFI_RESET_COLD 0
134 #define EFI_RESET_WARM 1
137 * EFI Runtime Services table
139 #define EFI_RUNTIME_SERVICES_SIGNATURE 0x5652453544e5552
140 #define EFI_RUNTIME_SERVICES_REVISION 0x00010000
148 u64 set_virtual_address_map;
151 u64 get_next_variable;
153 u64 get_next_high_mono_count;
155 } efi_runtime_services_t;
157 typedef efi_status_t efi_get_time_t (efi_time_t *tm, efi_time_cap_t *tc);
158 typedef efi_status_t efi_set_time_t (efi_time_t *tm);
159 typedef efi_status_t efi_get_wakeup_time_t (efi_bool_t *enabled, efi_bool_t *pending,
161 typedef efi_status_t efi_set_wakeup_time_t (efi_bool_t enabled, efi_time_t *tm);
162 typedef efi_status_t efi_get_variable_t (efi_char16_t *name, efi_guid_t *vendor, u32 *attr,
163 unsigned long *data_size, void *data);
164 typedef efi_status_t efi_get_next_variable_t (unsigned long *name_size, efi_char16_t *name,
166 typedef efi_status_t efi_set_variable_t (efi_char16_t *name, efi_guid_t *vendor, u32 attr,
167 unsigned long data_size, void *data);
168 typedef efi_status_t efi_get_next_high_mono_count_t (u64 *count);
169 typedef void efi_reset_system_t (int reset_type, efi_status_t status,
170 unsigned long data_size, efi_char16_t *data);
173 * EFI Configuration Table and GUID definitions
176 EFI_GUID( 0x00000000, 0x0000, 0x0000, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00 )
178 #define MPS_TABLE_GUID \
179 EFI_GUID( 0xeb9d2d2f, 0x2d88, 0x11d3, 0x9a, 0x16, 0x0, 0x90, 0x27, 0x3f, 0xc1, 0x4d )
181 #define ACPI_TABLE_GUID \
182 EFI_GUID( 0xeb9d2d30, 0x2d88, 0x11d3, 0x9a, 0x16, 0x0, 0x90, 0x27, 0x3f, 0xc1, 0x4d )
184 #define ACPI_20_TABLE_GUID \
185 EFI_GUID( 0x8868e871, 0xe4f1, 0x11d3, 0xbc, 0x22, 0x0, 0x80, 0xc7, 0x3c, 0x88, 0x81 )
187 #define SMBIOS_TABLE_GUID \
188 EFI_GUID( 0xeb9d2d31, 0x2d88, 0x11d3, 0x9a, 0x16, 0x0, 0x90, 0x27, 0x3f, 0xc1, 0x4d )
190 #define SAL_SYSTEM_TABLE_GUID \
191 EFI_GUID( 0xeb9d2d32, 0x2d88, 0x11d3, 0x9a, 0x16, 0x0, 0x90, 0x27, 0x3f, 0xc1, 0x4d )
193 #define HCDP_TABLE_GUID \
194 EFI_GUID( 0xf951938d, 0x620b, 0x42ef, 0x82, 0x79, 0xa8, 0x4b, 0x79, 0x61, 0x78, 0x98 )
199 } efi_config_table_t;
201 #define EFI_SYSTEM_TABLE_SIGNATURE 0x5453595320494249
202 #define EFI_SYSTEM_TABLE_REVISION ((1 << 16) | 00)
206 u64 fw_vendor; /* physical addr of CHAR16 vendor string */
218 } efi_system_table_t;
221 * All runtime access to EFI goes through this structure:
224 efi_system_table_t *systab; /* EFI system table */
225 void *mps; /* MPS table */
226 void *acpi; /* ACPI table (IA64 ext 0.71) */
227 void *acpi20; /* ACPI table (ACPI 2.0) */
228 void *smbios; /* SM BIOS table */
229 void *sal_systab; /* SAL system table */
230 void *boot_info; /* boot info table */
231 void *hcdp; /* HCDP table */
232 efi_get_time_t *get_time;
233 efi_set_time_t *set_time;
234 efi_get_wakeup_time_t *get_wakeup_time;
235 efi_set_wakeup_time_t *set_wakeup_time;
236 efi_get_variable_t *get_variable;
237 efi_get_next_variable_t *get_next_variable;
238 efi_set_variable_t *set_variable;
239 efi_get_next_high_mono_count_t *get_next_high_mono_count;
240 efi_reset_system_t *reset_system;
244 efi_guidcmp (efi_guid_t left, efi_guid_t right)
246 return memcmp(&left, &right, sizeof (efi_guid_t));
250 efi_guid_unparse(efi_guid_t *guid, char *out)
252 sprintf(out, "%02x%02x%02x%02x-%02x%02x-%02x%02x-%02x%02x-%02x%02x%02x%02x%02x%02x",
253 guid->b[3], guid->b[2], guid->b[1], guid->b[0],
254 guid->b[5], guid->b[4], guid->b[7], guid->b[6],
255 guid->b[8], guid->b[9], guid->b[10], guid->b[11],
256 guid->b[12], guid->b[13], guid->b[14], guid->b[15]);
260 extern void efi_init (void);
261 extern void efi_map_pal_code (void);
262 extern void efi_memmap_walk (efi_freemem_callback_t callback, void *arg);
263 extern void efi_gettimeofday (struct timeval *tv);
264 extern void efi_enter_virtual_mode (void); /* switch EFI to virtual mode, if possible */
265 extern u64 efi_get_iobase (void);
266 extern u32 efi_mem_type (unsigned long phys_addr);
267 extern u64 efi_mem_attributes (unsigned long phys_addr);
270 * Variable Attributes
272 #define EFI_VARIABLE_NON_VOLATILE 0x0000000000000001
273 #define EFI_VARIABLE_BOOTSERVICE_ACCESS 0x0000000000000002
274 #define EFI_VARIABLE_RUNTIME_ACCESS 0x0000000000000004
278 * efi_dir is allocated in arch/ia64/kernel/efi.c.
280 #ifdef CONFIG_PROC_FS
281 extern struct proc_dir_entry *efi_dir;
284 #endif /* _LINUX_EFI_H */