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-2003 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>
19 #include <linux/rtc.h>
20 #include <linux/ioport.h>
21 #include <linux/pfn.h>
24 #include <asm/system.h>
27 #define EFI_LOAD_ERROR ( 1 | (1UL << (BITS_PER_LONG-1)))
28 #define EFI_INVALID_PARAMETER ( 2 | (1UL << (BITS_PER_LONG-1)))
29 #define EFI_UNSUPPORTED ( 3 | (1UL << (BITS_PER_LONG-1)))
30 #define EFI_BAD_BUFFER_SIZE ( 4 | (1UL << (BITS_PER_LONG-1)))
31 #define EFI_BUFFER_TOO_SMALL ( 5 | (1UL << (BITS_PER_LONG-1)))
32 #define EFI_NOT_FOUND (14 | (1UL << (BITS_PER_LONG-1)))
34 typedef unsigned long efi_status_t
;
35 typedef u8 efi_bool_t
;
36 typedef u16 efi_char16_t
; /* UNICODE character */
43 #define EFI_GUID(a,b,c,d0,d1,d2,d3,d4,d5,d6,d7) \
45 {{ (a) & 0xff, ((a) >> 8) & 0xff, ((a) >> 16) & 0xff, ((a) >> 24) & 0xff, \
46 (b) & 0xff, ((b) >> 8) & 0xff, \
47 (c) & 0xff, ((c) >> 8) & 0xff, \
48 (d0), (d1), (d2), (d3), (d4), (d5), (d6), (d7) }})
51 * Generic EFI table header
62 * Memory map descriptor:
66 #define EFI_RESERVED_TYPE 0
67 #define EFI_LOADER_CODE 1
68 #define EFI_LOADER_DATA 2
69 #define EFI_BOOT_SERVICES_CODE 3
70 #define EFI_BOOT_SERVICES_DATA 4
71 #define EFI_RUNTIME_SERVICES_CODE 5
72 #define EFI_RUNTIME_SERVICES_DATA 6
73 #define EFI_CONVENTIONAL_MEMORY 7
74 #define EFI_UNUSABLE_MEMORY 8
75 #define EFI_ACPI_RECLAIM_MEMORY 9
76 #define EFI_ACPI_MEMORY_NVS 10
77 #define EFI_MEMORY_MAPPED_IO 11
78 #define EFI_MEMORY_MAPPED_IO_PORT_SPACE 12
79 #define EFI_PAL_CODE 13
80 #define EFI_MAX_MEMORY_TYPE 14
82 /* Attribute values: */
83 #define EFI_MEMORY_UC ((u64)0x0000000000000001ULL) /* uncached */
84 #define EFI_MEMORY_WC ((u64)0x0000000000000002ULL) /* write-coalescing */
85 #define EFI_MEMORY_WT ((u64)0x0000000000000004ULL) /* write-through */
86 #define EFI_MEMORY_WB ((u64)0x0000000000000008ULL) /* write-back */
87 #define EFI_MEMORY_WP ((u64)0x0000000000001000ULL) /* write-protect */
88 #define EFI_MEMORY_RP ((u64)0x0000000000002000ULL) /* read-protect */
89 #define EFI_MEMORY_XP ((u64)0x0000000000004000ULL) /* execute-protect */
90 #define EFI_MEMORY_RUNTIME ((u64)0x8000000000000000ULL) /* range requires runtime mapping */
91 #define EFI_MEMORY_DESCRIPTOR_VERSION 1
93 #define EFI_PAGE_SHIFT 12
104 typedef int (*efi_freemem_callback_t
) (u64 start
, u64 end
, void *arg
);
107 * Types and defines for Time Services
109 #define EFI_TIME_ADJUST_DAYLIGHT 0x1
110 #define EFI_TIME_IN_DAYLIGHT 0x2
111 #define EFI_UNSPECIFIED_TIMEZONE 0x07ff
134 * Types and defines for EFI ResetSystem
136 #define EFI_RESET_COLD 0
137 #define EFI_RESET_WARM 1
138 #define EFI_RESET_SHUTDOWN 2
141 * EFI Runtime Services table
143 #define EFI_RUNTIME_SERVICES_SIGNATURE ((u64)0x5652453544e5552ULL)
144 #define EFI_RUNTIME_SERVICES_REVISION 0x00010000
148 unsigned long get_time
;
149 unsigned long set_time
;
150 unsigned long get_wakeup_time
;
151 unsigned long set_wakeup_time
;
152 unsigned long set_virtual_address_map
;
153 unsigned long convert_pointer
;
154 unsigned long get_variable
;
155 unsigned long get_next_variable
;
156 unsigned long set_variable
;
157 unsigned long get_next_high_mono_count
;
158 unsigned long reset_system
;
159 } efi_runtime_services_t
;
161 typedef efi_status_t
efi_get_time_t (efi_time_t
*tm
, efi_time_cap_t
*tc
);
162 typedef efi_status_t
efi_set_time_t (efi_time_t
*tm
);
163 typedef efi_status_t
efi_get_wakeup_time_t (efi_bool_t
*enabled
, efi_bool_t
*pending
,
165 typedef efi_status_t
efi_set_wakeup_time_t (efi_bool_t enabled
, efi_time_t
*tm
);
166 typedef efi_status_t
efi_get_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_variable_t (unsigned long *name_size
, efi_char16_t
*name
,
170 typedef efi_status_t
efi_set_variable_t (efi_char16_t
*name
, efi_guid_t
*vendor
,
171 unsigned long attr
, unsigned long data_size
,
173 typedef efi_status_t
efi_get_next_high_mono_count_t (u32
*count
);
174 typedef void efi_reset_system_t (int reset_type
, efi_status_t status
,
175 unsigned long data_size
, efi_char16_t
*data
);
176 typedef efi_status_t
efi_set_virtual_address_map_t (unsigned long memory_map_size
,
177 unsigned long descriptor_size
,
178 u32 descriptor_version
,
179 efi_memory_desc_t
*virtual_map
);
182 * EFI Configuration Table and GUID definitions
185 EFI_GUID( 0x00000000, 0x0000, 0x0000, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00 )
187 #define MPS_TABLE_GUID \
188 EFI_GUID( 0xeb9d2d2f, 0x2d88, 0x11d3, 0x9a, 0x16, 0x0, 0x90, 0x27, 0x3f, 0xc1, 0x4d )
190 #define ACPI_TABLE_GUID \
191 EFI_GUID( 0xeb9d2d30, 0x2d88, 0x11d3, 0x9a, 0x16, 0x0, 0x90, 0x27, 0x3f, 0xc1, 0x4d )
193 #define ACPI_20_TABLE_GUID \
194 EFI_GUID( 0x8868e871, 0xe4f1, 0x11d3, 0xbc, 0x22, 0x0, 0x80, 0xc7, 0x3c, 0x88, 0x81 )
196 #define SMBIOS_TABLE_GUID \
197 EFI_GUID( 0xeb9d2d31, 0x2d88, 0x11d3, 0x9a, 0x16, 0x0, 0x90, 0x27, 0x3f, 0xc1, 0x4d )
199 #define SAL_SYSTEM_TABLE_GUID \
200 EFI_GUID( 0xeb9d2d32, 0x2d88, 0x11d3, 0x9a, 0x16, 0x0, 0x90, 0x27, 0x3f, 0xc1, 0x4d )
202 #define HCDP_TABLE_GUID \
203 EFI_GUID( 0xf951938d, 0x620b, 0x42ef, 0x82, 0x79, 0xa8, 0x4b, 0x79, 0x61, 0x78, 0x98 )
205 #define UGA_IO_PROTOCOL_GUID \
206 EFI_GUID( 0x61a4d49e, 0x6f68, 0x4f1b, 0xb9, 0x22, 0xa8, 0x6e, 0xed, 0xb, 0x7, 0xa2 )
208 #define EFI_GLOBAL_VARIABLE_GUID \
209 EFI_GUID( 0x8be4df61, 0x93ca, 0x11d2, 0xaa, 0x0d, 0x00, 0xe0, 0x98, 0x03, 0x2b, 0x8c )
211 #define UV_SYSTEM_TABLE_GUID \
212 EFI_GUID( 0x3b13a7d4, 0x633e, 0x11dd, 0x93, 0xec, 0xda, 0x25, 0x56, 0xd8, 0x95, 0x93 )
217 } efi_config_table_t
;
219 #define EFI_SYSTEM_TABLE_SIGNATURE ((u64)0x5453595320494249ULL)
223 unsigned long fw_vendor
; /* physical addr of CHAR16 vendor string */
225 unsigned long con_in_handle
;
226 unsigned long con_in
;
227 unsigned long con_out_handle
;
228 unsigned long con_out
;
229 unsigned long stderr_handle
;
230 unsigned long stderr
;
231 efi_runtime_services_t
*runtime
;
232 unsigned long boottime
;
233 unsigned long nr_tables
;
234 unsigned long tables
;
235 } efi_system_table_t
;
237 struct efi_memory_map
{
242 unsigned long desc_version
;
243 unsigned long desc_size
;
246 #define EFI_INVALID_TABLE_ADDR (~0UL)
249 * All runtime access to EFI goes through this structure:
252 efi_system_table_t
*systab
; /* EFI system table */
253 unsigned long mps
; /* MPS table */
254 unsigned long acpi
; /* ACPI table (IA64 ext 0.71) */
255 unsigned long acpi20
; /* ACPI table (ACPI 2.0) */
256 unsigned long smbios
; /* SM BIOS table */
257 unsigned long sal_systab
; /* SAL system table */
258 unsigned long boot_info
; /* boot info table */
259 unsigned long hcdp
; /* HCDP table */
260 unsigned long uga
; /* UGA table */
261 unsigned long uv_systab
; /* UV system table */
262 efi_get_time_t
*get_time
;
263 efi_set_time_t
*set_time
;
264 efi_get_wakeup_time_t
*get_wakeup_time
;
265 efi_set_wakeup_time_t
*set_wakeup_time
;
266 efi_get_variable_t
*get_variable
;
267 efi_get_next_variable_t
*get_next_variable
;
268 efi_set_variable_t
*set_variable
;
269 efi_get_next_high_mono_count_t
*get_next_high_mono_count
;
270 efi_reset_system_t
*reset_system
;
271 efi_set_virtual_address_map_t
*set_virtual_address_map
;
275 efi_guidcmp (efi_guid_t left
, efi_guid_t right
)
277 return memcmp(&left
, &right
, sizeof (efi_guid_t
));
281 efi_guid_unparse(efi_guid_t
*guid
, char *out
)
283 sprintf(out
, "%02x%02x%02x%02x-%02x%02x-%02x%02x-%02x%02x-%02x%02x%02x%02x%02x%02x",
284 guid
->b
[3], guid
->b
[2], guid
->b
[1], guid
->b
[0],
285 guid
->b
[5], guid
->b
[4], guid
->b
[7], guid
->b
[6],
286 guid
->b
[8], guid
->b
[9], guid
->b
[10], guid
->b
[11],
287 guid
->b
[12], guid
->b
[13], guid
->b
[14], guid
->b
[15]);
291 extern void efi_init (void);
292 extern void *efi_get_pal_addr (void);
293 extern void efi_map_pal_code (void);
294 extern void efi_memmap_walk (efi_freemem_callback_t callback
, void *arg
);
295 extern void efi_gettimeofday (struct timespec
*ts
);
296 extern void efi_enter_virtual_mode (void); /* switch EFI to virtual mode, if possible */
297 extern u64
efi_get_iobase (void);
298 extern u32
efi_mem_type (unsigned long phys_addr
);
299 extern u64
efi_mem_attributes (unsigned long phys_addr
);
300 extern u64
efi_mem_attribute (unsigned long phys_addr
, unsigned long size
);
301 extern int __init
efi_uart_console_only (void);
302 extern void efi_initialize_iomem_resources(struct resource
*code_resource
,
303 struct resource
*data_resource
, struct resource
*bss_resource
);
304 extern unsigned long efi_get_time(void);
305 extern int efi_set_rtc_mmss(unsigned long nowtime
);
306 extern struct efi_memory_map memmap
;
309 * efi_range_is_wc - check the WC bit on an address range
310 * @start: starting kvirt address
311 * @len: length of range
313 * Consult the EFI memory map and make sure it's ok to set this range WC.
314 * Returns true or false.
316 static inline int efi_range_is_wc(unsigned long start
, unsigned long len
)
320 for (i
= 0; i
< len
; i
+= (1UL << EFI_PAGE_SHIFT
)) {
321 unsigned long paddr
= __pa(start
+ i
);
322 if (!(efi_mem_attributes(paddr
) & EFI_MEMORY_WC
))
325 /* The range checked out */
329 #ifdef CONFIG_EFI_PCDP
330 extern int __init
efi_setup_pcdp_console(char *);
334 * We play games with efi_enabled so that the compiler will, if possible, remove
335 * EFI-related code altogether.
339 extern int efi_enabled
;
341 # define efi_enabled 1
344 # define efi_enabled 0
348 * Variable Attributes
350 #define EFI_VARIABLE_NON_VOLATILE 0x0000000000000001
351 #define EFI_VARIABLE_BOOTSERVICE_ACCESS 0x0000000000000002
352 #define EFI_VARIABLE_RUNTIME_ACCESS 0x0000000000000004
355 * EFI Device Path information
357 #define EFI_DEV_HW 0x01
358 #define EFI_DEV_PCI 1
359 #define EFI_DEV_PCCARD 2
360 #define EFI_DEV_MEM_MAPPED 3
361 #define EFI_DEV_VENDOR 4
362 #define EFI_DEV_CONTROLLER 5
363 #define EFI_DEV_ACPI 0x02
364 #define EFI_DEV_BASIC_ACPI 1
365 #define EFI_DEV_EXPANDED_ACPI 2
366 #define EFI_DEV_MSG 0x03
367 #define EFI_DEV_MSG_ATAPI 1
368 #define EFI_DEV_MSG_SCSI 2
369 #define EFI_DEV_MSG_FC 3
370 #define EFI_DEV_MSG_1394 4
371 #define EFI_DEV_MSG_USB 5
372 #define EFI_DEV_MSG_USB_CLASS 15
373 #define EFI_DEV_MSG_I20 6
374 #define EFI_DEV_MSG_MAC 11
375 #define EFI_DEV_MSG_IPV4 12
376 #define EFI_DEV_MSG_IPV6 13
377 #define EFI_DEV_MSG_INFINIBAND 9
378 #define EFI_DEV_MSG_UART 14
379 #define EFI_DEV_MSG_VENDOR 10
380 #define EFI_DEV_MEDIA 0x04
381 #define EFI_DEV_MEDIA_HARD_DRIVE 1
382 #define EFI_DEV_MEDIA_CDROM 2
383 #define EFI_DEV_MEDIA_VENDOR 3
384 #define EFI_DEV_MEDIA_FILE 4
385 #define EFI_DEV_MEDIA_PROTOCOL 5
386 #define EFI_DEV_BIOS_BOOT 0x05
387 #define EFI_DEV_END_PATH 0x7F
388 #define EFI_DEV_END_PATH2 0xFF
389 #define EFI_DEV_END_INSTANCE 0x01
390 #define EFI_DEV_END_ENTIRE 0xFF
392 struct efi_generic_dev_path
{
396 } __attribute ((packed
));
398 static inline void memrange_efi_to_native(u64
*addr
, u64
*npages
)
400 *npages
= PFN_UP(*addr
+ (*npages
<<EFI_PAGE_SHIFT
)) - PFN_DOWN(*addr
);
404 #endif /* _LINUX_EFI_H */