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>
22 #include <linux/pstore.h>
23 #include <linux/range.h>
24 #include <linux/reboot.h>
25 #include <linux/uuid.h>
26 #include <linux/screen_info.h>
31 #define EFI_LOAD_ERROR ( 1 | (1UL << (BITS_PER_LONG-1)))
32 #define EFI_INVALID_PARAMETER ( 2 | (1UL << (BITS_PER_LONG-1)))
33 #define EFI_UNSUPPORTED ( 3 | (1UL << (BITS_PER_LONG-1)))
34 #define EFI_BAD_BUFFER_SIZE ( 4 | (1UL << (BITS_PER_LONG-1)))
35 #define EFI_BUFFER_TOO_SMALL ( 5 | (1UL << (BITS_PER_LONG-1)))
36 #define EFI_NOT_READY ( 6 | (1UL << (BITS_PER_LONG-1)))
37 #define EFI_DEVICE_ERROR ( 7 | (1UL << (BITS_PER_LONG-1)))
38 #define EFI_WRITE_PROTECTED ( 8 | (1UL << (BITS_PER_LONG-1)))
39 #define EFI_OUT_OF_RESOURCES ( 9 | (1UL << (BITS_PER_LONG-1)))
40 #define EFI_NOT_FOUND (14 | (1UL << (BITS_PER_LONG-1)))
41 #define EFI_ABORTED (21 | (1UL << (BITS_PER_LONG-1)))
42 #define EFI_SECURITY_VIOLATION (26 | (1UL << (BITS_PER_LONG-1)))
44 typedef unsigned long efi_status_t;
45 typedef u8 efi_bool_t;
46 typedef u16 efi_char16_t; /* UNICODE character */
47 typedef u64 efi_physical_addr_t;
48 typedef void *efi_handle_t;
50 typedef uuid_le efi_guid_t;
52 #define EFI_GUID(a,b,c,d0,d1,d2,d3,d4,d5,d6,d7) \
53 UUID_LE(a, b, c, d0, d1, d2, d3, d4, d5, d6, d7)
56 * Generic EFI table header
67 * Memory map descriptor:
71 #define EFI_RESERVED_TYPE 0
72 #define EFI_LOADER_CODE 1
73 #define EFI_LOADER_DATA 2
74 #define EFI_BOOT_SERVICES_CODE 3
75 #define EFI_BOOT_SERVICES_DATA 4
76 #define EFI_RUNTIME_SERVICES_CODE 5
77 #define EFI_RUNTIME_SERVICES_DATA 6
78 #define EFI_CONVENTIONAL_MEMORY 7
79 #define EFI_UNUSABLE_MEMORY 8
80 #define EFI_ACPI_RECLAIM_MEMORY 9
81 #define EFI_ACPI_MEMORY_NVS 10
82 #define EFI_MEMORY_MAPPED_IO 11
83 #define EFI_MEMORY_MAPPED_IO_PORT_SPACE 12
84 #define EFI_PAL_CODE 13
85 #define EFI_PERSISTENT_MEMORY 14
86 #define EFI_MAX_MEMORY_TYPE 15
88 /* Attribute values: */
89 #define EFI_MEMORY_UC ((u64)0x0000000000000001ULL) /* uncached */
90 #define EFI_MEMORY_WC ((u64)0x0000000000000002ULL) /* write-coalescing */
91 #define EFI_MEMORY_WT ((u64)0x0000000000000004ULL) /* write-through */
92 #define EFI_MEMORY_WB ((u64)0x0000000000000008ULL) /* write-back */
93 #define EFI_MEMORY_UCE ((u64)0x0000000000000010ULL) /* uncached, exported */
94 #define EFI_MEMORY_WP ((u64)0x0000000000001000ULL) /* write-protect */
95 #define EFI_MEMORY_RP ((u64)0x0000000000002000ULL) /* read-protect */
96 #define EFI_MEMORY_XP ((u64)0x0000000000004000ULL) /* execute-protect */
97 #define EFI_MEMORY_NV ((u64)0x0000000000008000ULL) /* non-volatile */
98 #define EFI_MEMORY_MORE_RELIABLE \
99 ((u64)0x0000000000010000ULL) /* higher reliability */
100 #define EFI_MEMORY_RO ((u64)0x0000000000020000ULL) /* read-only */
101 #define EFI_MEMORY_RUNTIME ((u64)0x8000000000000000ULL) /* range requires runtime mapping */
102 #define EFI_MEMORY_DESCRIPTOR_VERSION 1
104 #define EFI_PAGE_SHIFT 12
105 #define EFI_PAGE_SIZE (1UL << EFI_PAGE_SHIFT)
106 #define EFI_PAGES_MAX (U64_MAX >> EFI_PAGE_SHIFT)
122 } efi_capsule_header_t;
124 struct efi_boot_memmap {
125 efi_memory_desc_t **map;
126 unsigned long *map_size;
127 unsigned long *desc_size;
129 unsigned long *key_ptr;
130 unsigned long *buff_size;
136 #define EFI_CAPSULE_PERSIST_ACROSS_RESET 0x00010000
137 #define EFI_CAPSULE_POPULATE_SYSTEM_TABLE 0x00020000
138 #define EFI_CAPSULE_INITIATE_RESET 0x00040000
141 * Allocation types for calls to boottime->allocate_pages.
143 #define EFI_ALLOCATE_ANY_PAGES 0
144 #define EFI_ALLOCATE_MAX_ADDRESS 1
145 #define EFI_ALLOCATE_ADDRESS 2
146 #define EFI_MAX_ALLOCATE_TYPE 3
148 typedef int (*efi_freemem_callback_t) (u64 start, u64 end, void *arg);
151 * Types and defines for Time Services
153 #define EFI_TIME_ADJUST_DAYLIGHT 0x1
154 #define EFI_TIME_IN_DAYLIGHT 0x2
155 #define EFI_UNSPECIFIED_TIMEZONE 0x07ff
192 u32 install_protocol_interface;
193 u32 reinstall_protocol_interface;
194 u32 uninstall_protocol_interface;
197 u32 register_protocol_notify;
199 u32 locate_device_path;
200 u32 install_configuration_table;
205 u32 exit_boot_services;
206 u32 get_next_monotonic_count;
208 u32 set_watchdog_timer;
209 u32 connect_controller;
210 u32 disconnect_controller;
213 u32 open_protocol_information;
214 u32 protocols_per_handle;
215 u32 locate_handle_buffer;
217 u32 install_multiple_protocol_interfaces;
218 u32 uninstall_multiple_protocol_interfaces;
223 } __packed efi_boot_services_32_t;
240 u64 install_protocol_interface;
241 u64 reinstall_protocol_interface;
242 u64 uninstall_protocol_interface;
245 u64 register_protocol_notify;
247 u64 locate_device_path;
248 u64 install_configuration_table;
253 u64 exit_boot_services;
254 u64 get_next_monotonic_count;
256 u64 set_watchdog_timer;
257 u64 connect_controller;
258 u64 disconnect_controller;
261 u64 open_protocol_information;
262 u64 protocols_per_handle;
263 u64 locate_handle_buffer;
265 u64 install_multiple_protocol_interfaces;
266 u64 uninstall_multiple_protocol_interfaces;
271 } __packed efi_boot_services_64_t;
274 * EFI Boot Services table
280 efi_status_t (*allocate_pages)(int, int, unsigned long,
281 efi_physical_addr_t *);
282 efi_status_t (*free_pages)(efi_physical_addr_t, unsigned long);
283 efi_status_t (*get_memory_map)(unsigned long *, void *, unsigned long *,
284 unsigned long *, u32 *);
285 efi_status_t (*allocate_pool)(int, unsigned long, void **);
286 efi_status_t (*free_pool)(void *);
289 void *wait_for_event;
293 void *install_protocol_interface;
294 void *reinstall_protocol_interface;
295 void *uninstall_protocol_interface;
296 efi_status_t (*handle_protocol)(efi_handle_t, efi_guid_t *, void **);
298 void *register_protocol_notify;
299 efi_status_t (*locate_handle)(int, efi_guid_t *, void *,
300 unsigned long *, efi_handle_t *);
301 void *locate_device_path;
302 efi_status_t (*install_configuration_table)(efi_guid_t *, void *);
307 efi_status_t (*exit_boot_services)(efi_handle_t, unsigned long);
308 void *get_next_monotonic_count;
310 void *set_watchdog_timer;
311 void *connect_controller;
312 void *disconnect_controller;
314 void *close_protocol;
315 void *open_protocol_information;
316 void *protocols_per_handle;
317 void *locate_handle_buffer;
318 efi_status_t (*locate_protocol)(efi_guid_t *, void *, void **);
319 void *install_multiple_protocol_interfaces;
320 void *uninstall_multiple_protocol_interfaces;
321 void *calculate_crc32;
324 void *create_event_ex;
325 } efi_boot_services_t;
332 EfiPciIoWidthFifoUint8,
333 EfiPciIoWidthFifoUint16,
334 EfiPciIoWidthFifoUint32,
335 EfiPciIoWidthFifoUint64,
336 EfiPciIoWidthFillUint8,
337 EfiPciIoWidthFillUint16,
338 EfiPciIoWidthFillUint32,
339 EfiPciIoWidthFillUint64,
341 } EFI_PCI_IO_PROTOCOL_WIDTH;
344 EfiPciIoAttributeOperationGet,
345 EfiPciIoAttributeOperationSet,
346 EfiPciIoAttributeOperationEnable,
347 EfiPciIoAttributeOperationDisable,
348 EfiPciIoAttributeOperationSupported,
349 EfiPciIoAttributeOperationMaximum
350 } EFI_PCI_IO_PROTOCOL_ATTRIBUTE_OPERATION;
355 } efi_pci_io_protocol_access_32_t;
360 } efi_pci_io_protocol_access_64_t;
365 } efi_pci_io_protocol_access_t;
370 efi_pci_io_protocol_access_32_t mem;
371 efi_pci_io_protocol_access_32_t io;
372 efi_pci_io_protocol_access_32_t pci;
381 u32 get_bar_attributes;
382 u32 set_bar_attributes;
385 } efi_pci_io_protocol_32;
390 efi_pci_io_protocol_access_64_t mem;
391 efi_pci_io_protocol_access_64_t io;
392 efi_pci_io_protocol_access_64_t pci;
401 u64 get_bar_attributes;
402 u64 set_bar_attributes;
405 } efi_pci_io_protocol_64;
410 efi_pci_io_protocol_access_t mem;
411 efi_pci_io_protocol_access_t io;
412 efi_pci_io_protocol_access_t pci;
416 void *allocate_buffer;
421 void *get_bar_attributes;
422 void *set_bar_attributes;
425 } efi_pci_io_protocol;
427 #define EFI_PCI_IO_ATTRIBUTE_ISA_MOTHERBOARD_IO 0x0001
428 #define EFI_PCI_IO_ATTRIBUTE_ISA_IO 0x0002
429 #define EFI_PCI_IO_ATTRIBUTE_VGA_PALETTE_IO 0x0004
430 #define EFI_PCI_IO_ATTRIBUTE_VGA_MEMORY 0x0008
431 #define EFI_PCI_IO_ATTRIBUTE_VGA_IO 0x0010
432 #define EFI_PCI_IO_ATTRIBUTE_IDE_PRIMARY_IO 0x0020
433 #define EFI_PCI_IO_ATTRIBUTE_IDE_SECONDARY_IO 0x0040
434 #define EFI_PCI_IO_ATTRIBUTE_MEMORY_WRITE_COMBINE 0x0080
435 #define EFI_PCI_IO_ATTRIBUTE_IO 0x0100
436 #define EFI_PCI_IO_ATTRIBUTE_MEMORY 0x0200
437 #define EFI_PCI_IO_ATTRIBUTE_BUS_MASTER 0x0400
438 #define EFI_PCI_IO_ATTRIBUTE_MEMORY_CACHED 0x0800
439 #define EFI_PCI_IO_ATTRIBUTE_MEMORY_DISABLE 0x1000
440 #define EFI_PCI_IO_ATTRIBUTE_EMBEDDED_DEVICE 0x2000
441 #define EFI_PCI_IO_ATTRIBUTE_EMBEDDED_ROM 0x4000
442 #define EFI_PCI_IO_ATTRIBUTE_DUAL_ADDRESS_CYCLE 0x8000
443 #define EFI_PCI_IO_ATTRIBUTE_ISA_IO_16 0x10000
444 #define EFI_PCI_IO_ATTRIBUTE_VGA_PALETTE_IO_16 0x20000
445 #define EFI_PCI_IO_ATTRIBUTE_VGA_IO_16 0x40000
448 * Types and defines for EFI ResetSystem
450 #define EFI_RESET_COLD 0
451 #define EFI_RESET_WARM 1
452 #define EFI_RESET_SHUTDOWN 2
455 * EFI Runtime Services table
457 #define EFI_RUNTIME_SERVICES_SIGNATURE ((u64)0x5652453544e5552ULL)
458 #define EFI_RUNTIME_SERVICES_REVISION 0x00010000
466 u32 set_virtual_address_map;
469 u32 get_next_variable;
471 u32 get_next_high_mono_count;
474 u32 query_capsule_caps;
475 u32 query_variable_info;
476 } efi_runtime_services_32_t;
484 u64 set_virtual_address_map;
487 u64 get_next_variable;
489 u64 get_next_high_mono_count;
492 u64 query_capsule_caps;
493 u64 query_variable_info;
494 } efi_runtime_services_64_t;
500 void *get_wakeup_time;
501 void *set_wakeup_time;
502 void *set_virtual_address_map;
503 void *convert_pointer;
505 void *get_next_variable;
507 void *get_next_high_mono_count;
509 void *update_capsule;
510 void *query_capsule_caps;
511 void *query_variable_info;
512 } efi_runtime_services_t;
514 typedef efi_status_t efi_get_time_t (efi_time_t *tm, efi_time_cap_t *tc);
515 typedef efi_status_t efi_set_time_t (efi_time_t *tm);
516 typedef efi_status_t efi_get_wakeup_time_t (efi_bool_t *enabled, efi_bool_t *pending,
518 typedef efi_status_t efi_set_wakeup_time_t (efi_bool_t enabled, efi_time_t *tm);
519 typedef efi_status_t efi_get_variable_t (efi_char16_t *name, efi_guid_t *vendor, u32 *attr,
520 unsigned long *data_size, void *data);
521 typedef efi_status_t efi_get_next_variable_t (unsigned long *name_size, efi_char16_t *name,
523 typedef efi_status_t efi_set_variable_t (efi_char16_t *name, efi_guid_t *vendor,
524 u32 attr, unsigned long data_size,
526 typedef efi_status_t efi_get_next_high_mono_count_t (u32 *count);
527 typedef void efi_reset_system_t (int reset_type, efi_status_t status,
528 unsigned long data_size, efi_char16_t *data);
529 typedef efi_status_t efi_set_virtual_address_map_t (unsigned long memory_map_size,
530 unsigned long descriptor_size,
531 u32 descriptor_version,
532 efi_memory_desc_t *virtual_map);
533 typedef efi_status_t efi_query_variable_info_t(u32 attr,
535 u64 *remaining_space,
536 u64 *max_variable_size);
537 typedef efi_status_t efi_update_capsule_t(efi_capsule_header_t **capsules,
539 unsigned long sg_list);
540 typedef efi_status_t efi_query_capsule_caps_t(efi_capsule_header_t **capsules,
544 typedef efi_status_t efi_query_variable_store_t(u32 attributes,
548 void efi_native_runtime_setup(void);
551 * EFI Configuration Table and GUID definitions
553 * These are all defined in a single line to make them easier to
554 * grep for and to see them at a glance - while still having a
555 * similar structure to the definitions in the spec.
557 * Here's how they are structured:
559 * GUID: 12345678-1234-1234-1234-123456789012
561 * #define EFI_SOME_PROTOCOL_GUID \
562 * {0x12345678,0x1234,0x1234,\
563 * {0x12,0x34,0x12,0x34,0x56,0x78,0x90,0x12}}
565 * #define SOME_PROTOCOL_GUID EFI_GUID(0x12345678, 0x1234, 0x1234, 0x12, 0x34, 0x12, 0x34, 0x56, 0x78, 0x90, 0x12)
566 * ^ tabs ^extra space
568 * Note that the 'extra space' separates the values at the same place
569 * where the UEFI SPEC breaks the line.
571 #define NULL_GUID EFI_GUID(0x00000000, 0x0000, 0x0000, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00)
572 #define MPS_TABLE_GUID EFI_GUID(0xeb9d2d2f, 0x2d88, 0x11d3, 0x9a, 0x16, 0x00, 0x90, 0x27, 0x3f, 0xc1, 0x4d)
573 #define ACPI_TABLE_GUID EFI_GUID(0xeb9d2d30, 0x2d88, 0x11d3, 0x9a, 0x16, 0x00, 0x90, 0x27, 0x3f, 0xc1, 0x4d)
574 #define ACPI_20_TABLE_GUID EFI_GUID(0x8868e871, 0xe4f1, 0x11d3, 0xbc, 0x22, 0x00, 0x80, 0xc7, 0x3c, 0x88, 0x81)
575 #define SMBIOS_TABLE_GUID EFI_GUID(0xeb9d2d31, 0x2d88, 0x11d3, 0x9a, 0x16, 0x00, 0x90, 0x27, 0x3f, 0xc1, 0x4d)
576 #define SMBIOS3_TABLE_GUID EFI_GUID(0xf2fd1544, 0x9794, 0x4a2c, 0x99, 0x2e, 0xe5, 0xbb, 0xcf, 0x20, 0xe3, 0x94)
577 #define SAL_SYSTEM_TABLE_GUID EFI_GUID(0xeb9d2d32, 0x2d88, 0x11d3, 0x9a, 0x16, 0x00, 0x90, 0x27, 0x3f, 0xc1, 0x4d)
578 #define HCDP_TABLE_GUID EFI_GUID(0xf951938d, 0x620b, 0x42ef, 0x82, 0x79, 0xa8, 0x4b, 0x79, 0x61, 0x78, 0x98)
579 #define UGA_IO_PROTOCOL_GUID EFI_GUID(0x61a4d49e, 0x6f68, 0x4f1b, 0xb9, 0x22, 0xa8, 0x6e, 0xed, 0x0b, 0x07, 0xa2)
580 #define EFI_GLOBAL_VARIABLE_GUID EFI_GUID(0x8be4df61, 0x93ca, 0x11d2, 0xaa, 0x0d, 0x00, 0xe0, 0x98, 0x03, 0x2b, 0x8c)
581 #define UV_SYSTEM_TABLE_GUID EFI_GUID(0x3b13a7d4, 0x633e, 0x11dd, 0x93, 0xec, 0xda, 0x25, 0x56, 0xd8, 0x95, 0x93)
582 #define LINUX_EFI_CRASH_GUID EFI_GUID(0xcfc8fc79, 0xbe2e, 0x4ddc, 0x97, 0xf0, 0x9f, 0x98, 0xbf, 0xe2, 0x98, 0xa0)
583 #define LOADED_IMAGE_PROTOCOL_GUID EFI_GUID(0x5b1b31a1, 0x9562, 0x11d2, 0x8e, 0x3f, 0x00, 0xa0, 0xc9, 0x69, 0x72, 0x3b)
584 #define EFI_GRAPHICS_OUTPUT_PROTOCOL_GUID EFI_GUID(0x9042a9de, 0x23dc, 0x4a38, 0x96, 0xfb, 0x7a, 0xde, 0xd0, 0x80, 0x51, 0x6a)
585 #define EFI_UGA_PROTOCOL_GUID EFI_GUID(0x982c298b, 0xf4fa, 0x41cb, 0xb8, 0x38, 0x77, 0xaa, 0x68, 0x8f, 0xb8, 0x39)
586 #define EFI_PCI_IO_PROTOCOL_GUID EFI_GUID(0x4cf5b200, 0x68b8, 0x4ca5, 0x9e, 0xec, 0xb2, 0x3e, 0x3f, 0x50, 0x02, 0x9a)
587 #define EFI_FILE_INFO_ID EFI_GUID(0x09576e92, 0x6d3f, 0x11d2, 0x8e, 0x39, 0x00, 0xa0, 0xc9, 0x69, 0x72, 0x3b)
588 #define EFI_SYSTEM_RESOURCE_TABLE_GUID EFI_GUID(0xb122a263, 0x3661, 0x4f68, 0x99, 0x29, 0x78, 0xf8, 0xb0, 0xd6, 0x21, 0x80)
589 #define EFI_FILE_SYSTEM_GUID EFI_GUID(0x964e5b22, 0x6459, 0x11d2, 0x8e, 0x39, 0x00, 0xa0, 0xc9, 0x69, 0x72, 0x3b)
590 #define DEVICE_TREE_GUID EFI_GUID(0xb1b621d5, 0xf19c, 0x41a5, 0x83, 0x0b, 0xd9, 0x15, 0x2c, 0x69, 0xaa, 0xe0)
591 #define EFI_PROPERTIES_TABLE_GUID EFI_GUID(0x880aaca3, 0x4adc, 0x4a04, 0x90, 0x79, 0xb7, 0x47, 0x34, 0x08, 0x25, 0xe5)
592 #define EFI_RNG_PROTOCOL_GUID EFI_GUID(0x3152bca5, 0xeade, 0x433d, 0x86, 0x2e, 0xc0, 0x1c, 0xdc, 0x29, 0x1f, 0x44)
593 #define EFI_MEMORY_ATTRIBUTES_TABLE_GUID EFI_GUID(0xdcfa911d, 0x26eb, 0x469f, 0xa2, 0x20, 0x38, 0xb7, 0xdc, 0x46, 0x12, 0x20)
594 #define EFI_CONSOLE_OUT_DEVICE_GUID EFI_GUID(0xd3b36f2c, 0xd551, 0x11d4, 0x9a, 0x46, 0x00, 0x90, 0x27, 0x3f, 0xc1, 0x4d)
597 * This GUID is used to pass to the kernel proper the struct screen_info
598 * structure that was populated by the stub based on the GOP protocol instance
599 * associated with ConOut
601 #define LINUX_EFI_ARM_SCREEN_INFO_TABLE_GUID EFI_GUID(0xe03fc20a, 0x85dc, 0x406e, 0xb9, 0x0e, 0x4a, 0xb5, 0x02, 0x37, 0x1d, 0x95)
602 #define LINUX_EFI_LOADER_ENTRY_GUID EFI_GUID(0x4a67b082, 0x0a4c, 0x41cf, 0xb6, 0xc7, 0x44, 0x0b, 0x29, 0xbb, 0x8c, 0x4f)
607 } efi_config_table_64_t;
612 } efi_config_table_32_t;
617 } efi_config_table_t;
623 } efi_config_table_type_t;
625 #define EFI_SYSTEM_TABLE_SIGNATURE ((u64)0x5453595320494249ULL)
627 #define EFI_2_30_SYSTEM_TABLE_REVISION ((2 << 16) | (30))
628 #define EFI_2_20_SYSTEM_TABLE_REVISION ((2 << 16) | (20))
629 #define EFI_2_10_SYSTEM_TABLE_REVISION ((2 << 16) | (10))
630 #define EFI_2_00_SYSTEM_TABLE_REVISION ((2 << 16) | (00))
631 #define EFI_1_10_SYSTEM_TABLE_REVISION ((1 << 16) | (10))
632 #define EFI_1_02_SYSTEM_TABLE_REVISION ((1 << 16) | (02))
636 u64 fw_vendor; /* physical addr of CHAR16 vendor string */
650 } efi_system_table_64_t;
654 u32 fw_vendor; /* physical addr of CHAR16 vendor string */
666 } efi_system_table_32_t;
670 unsigned long fw_vendor; /* physical addr of CHAR16 vendor string */
672 unsigned long con_in_handle;
673 unsigned long con_in;
674 unsigned long con_out_handle;
675 unsigned long con_out;
676 unsigned long stderr_handle;
677 unsigned long stderr;
678 efi_runtime_services_t *runtime;
679 efi_boot_services_t *boottime;
680 unsigned long nr_tables;
681 unsigned long tables;
682 } efi_system_table_t;
685 * Architecture independent structure for describing a memory map for the
686 * benefit of efi_memmap_init_early(), saving us the need to pass four
689 struct efi_memory_map_data {
690 phys_addr_t phys_map;
692 unsigned long desc_version;
693 unsigned long desc_size;
696 struct efi_memory_map {
697 phys_addr_t phys_map;
701 unsigned long desc_version;
702 unsigned long desc_size;
706 struct efi_mem_range {
711 struct efi_fdt_params {
726 u32 load_options_size;
729 __aligned_u64 image_size;
730 unsigned int image_code_type;
731 unsigned int image_data_type;
732 unsigned long unload;
733 } efi_loaded_image_32_t;
742 u32 load_options_size;
745 __aligned_u64 image_size;
746 unsigned int image_code_type;
747 unsigned int image_data_type;
748 unsigned long unload;
749 } efi_loaded_image_64_t;
754 efi_system_table_t *system_table;
758 u32 load_options_size;
761 __aligned_u64 image_size;
762 unsigned int image_code_type;
763 unsigned int image_data_type;
764 unsigned long unload;
765 } efi_loaded_image_t;
772 efi_time_t create_time;
773 efi_time_t last_access_time;
774 efi_time_t modification_time;
775 __aligned_u64 attribute;
776 efi_char16_t filename[1];
791 } efi_file_handle_32_t;
805 } efi_file_handle_64_t;
807 typedef struct _efi_file_handle {
809 efi_status_t (*open)(struct _efi_file_handle *,
810 struct _efi_file_handle **,
811 efi_char16_t *, u64, u64);
812 efi_status_t (*close)(struct _efi_file_handle *);
814 efi_status_t (*read)(struct _efi_file_handle *, unsigned long *,
819 efi_status_t (*get_info)(struct _efi_file_handle *, efi_guid_t *,
820 unsigned long *, void *);
825 typedef struct _efi_file_io_interface {
827 int (*open_volume)(struct _efi_file_io_interface *,
828 efi_file_handle_t **);
829 } efi_file_io_interface_t;
831 #define EFI_FILE_MODE_READ 0x0000000000000001
832 #define EFI_FILE_MODE_WRITE 0x0000000000000002
833 #define EFI_FILE_MODE_CREATE 0x8000000000000000
838 u64 memory_protection_attribute;
839 } efi_properties_table_t;
841 #define EFI_PROPERTIES_TABLE_VERSION 0x00010000
842 #define EFI_PROPERTIES_RUNTIME_MEMORY_PROTECTION_NON_EXECUTABLE_PE_DATA 0x1
844 #define EFI_INVALID_TABLE_ADDR (~0UL)
851 efi_memory_desc_t entry[0];
852 } efi_memory_attributes_table_t;
855 * All runtime access to EFI goes through this structure:
858 efi_system_table_t *systab; /* EFI system table */
859 unsigned int runtime_version; /* Runtime services version */
860 unsigned long mps; /* MPS table */
861 unsigned long acpi; /* ACPI table (IA64 ext 0.71) */
862 unsigned long acpi20; /* ACPI table (ACPI 2.0) */
863 unsigned long smbios; /* SMBIOS table (32 bit entry point) */
864 unsigned long smbios3; /* SMBIOS table (64 bit entry point) */
865 unsigned long sal_systab; /* SAL system table */
866 unsigned long boot_info; /* boot info table */
867 unsigned long hcdp; /* HCDP table */
868 unsigned long uga; /* UGA table */
869 unsigned long uv_systab; /* UV system table */
870 unsigned long fw_vendor; /* fw_vendor */
871 unsigned long runtime; /* runtime table */
872 unsigned long config_table; /* config tables */
873 unsigned long esrt; /* ESRT table */
874 unsigned long properties_table; /* properties table */
875 unsigned long mem_attr_table; /* memory attributes table */
876 efi_get_time_t *get_time;
877 efi_set_time_t *set_time;
878 efi_get_wakeup_time_t *get_wakeup_time;
879 efi_set_wakeup_time_t *set_wakeup_time;
880 efi_get_variable_t *get_variable;
881 efi_get_next_variable_t *get_next_variable;
882 efi_set_variable_t *set_variable;
883 efi_set_variable_t *set_variable_nonblocking;
884 efi_query_variable_info_t *query_variable_info;
885 efi_query_variable_info_t *query_variable_info_nonblocking;
886 efi_update_capsule_t *update_capsule;
887 efi_query_capsule_caps_t *query_capsule_caps;
888 efi_get_next_high_mono_count_t *get_next_high_mono_count;
889 efi_reset_system_t *reset_system;
890 efi_set_virtual_address_map_t *set_virtual_address_map;
891 struct efi_memory_map memmap;
896 efi_guidcmp (efi_guid_t left, efi_guid_t right)
898 return memcmp(&left, &right, sizeof (efi_guid_t));
902 efi_guid_to_str(efi_guid_t *guid, char *out)
904 sprintf(out, "%pUl", guid->b);
908 extern void efi_init (void);
909 extern void *efi_get_pal_addr (void);
910 extern void efi_map_pal_code (void);
911 extern void efi_memmap_walk (efi_freemem_callback_t callback, void *arg);
912 extern void efi_gettimeofday (struct timespec64 *ts);
914 extern void efi_enter_virtual_mode (void); /* switch EFI to virtual mode, if possible */
916 static inline void efi_enter_virtual_mode (void) {}
919 extern void efi_late_init(void);
920 extern void efi_free_boot_services(void);
921 extern efi_status_t efi_query_variable_store(u32 attributes,
924 extern void efi_find_mirror(void);
926 static inline void efi_late_init(void) {}
927 static inline void efi_free_boot_services(void) {}
929 static inline efi_status_t efi_query_variable_store(u32 attributes,
936 extern void __iomem *efi_lookup_mapped_addr(u64 phys_addr);
938 extern phys_addr_t __init efi_memmap_alloc(unsigned int num_entries);
939 extern int __init efi_memmap_init_early(struct efi_memory_map_data *data);
940 extern int __init efi_memmap_init_late(phys_addr_t addr, unsigned long size);
941 extern void __init efi_memmap_unmap(void);
942 extern int __init efi_memmap_install(phys_addr_t addr, unsigned int nr_map);
943 extern int __init efi_memmap_split_count(efi_memory_desc_t *md,
944 struct range *range);
945 extern void __init efi_memmap_insert(struct efi_memory_map *old_memmap,
946 void *buf, struct efi_mem_range *mem);
948 extern int efi_config_init(efi_config_table_type_t *arch_tables);
949 #ifdef CONFIG_EFI_ESRT
950 extern void __init efi_esrt_init(void);
952 static inline void efi_esrt_init(void) { }
954 extern int efi_config_parse_tables(void *config_tables, int count, int sz,
955 efi_config_table_type_t *arch_tables);
956 extern u64 efi_get_iobase (void);
957 extern u32 efi_mem_type (unsigned long phys_addr);
958 extern u64 efi_mem_attributes (unsigned long phys_addr);
959 extern u64 efi_mem_attribute (unsigned long phys_addr, unsigned long size);
960 extern int __init efi_uart_console_only (void);
961 extern u64 efi_mem_desc_end(efi_memory_desc_t *md);
962 extern int efi_mem_desc_lookup(u64 phys_addr, efi_memory_desc_t *out_md);
963 extern void efi_mem_reserve(phys_addr_t addr, u64 size);
964 extern void efi_initialize_iomem_resources(struct resource *code_resource,
965 struct resource *data_resource, struct resource *bss_resource);
966 extern void efi_reserve_boot_services(void);
967 extern int efi_get_fdt_params(struct efi_fdt_params *params);
968 extern struct kobject *efi_kobj;
970 extern int efi_reboot_quirk_mode;
971 extern bool efi_poweroff_required(void);
973 #ifdef CONFIG_EFI_FAKE_MEMMAP
974 extern void __init efi_fake_memmap(void);
976 static inline void efi_fake_memmap(void) { }
980 * efi_memattr_perm_setter - arch specific callback function passed into
981 * efi_memattr_apply_permissions() that updates the
982 * mapping permissions described by the second
983 * argument in the page tables referred to by the
986 typedef int (*efi_memattr_perm_setter)(struct mm_struct *, efi_memory_desc_t *);
988 extern int efi_memattr_init(void);
989 extern int efi_memattr_apply_permissions(struct mm_struct *mm,
990 efi_memattr_perm_setter fn);
992 /* Iterate through an efi_memory_map */
993 #define for_each_efi_memory_desc_in_map(m, md) \
994 for ((md) = (m)->map; \
995 (md) && ((void *)(md) + (m)->desc_size) <= (m)->map_end; \
996 (md) = (void *)(md) + (m)->desc_size)
999 * for_each_efi_memory_desc - iterate over descriptors in efi.memmap
1000 * @md: the efi_memory_desc_t * iterator
1002 * Once the loop finishes @md must not be accessed.
1004 #define for_each_efi_memory_desc(md) \
1005 for_each_efi_memory_desc_in_map(&efi.memmap, md)
1008 * Format an EFI memory descriptor's type and attributes to a user-provided
1009 * character buffer, as per snprintf(), and return the buffer.
1011 char * __init efi_md_typeattr_format(char *buf, size_t size,
1012 const efi_memory_desc_t *md);
1015 * efi_range_is_wc - check the WC bit on an address range
1016 * @start: starting kvirt address
1017 * @len: length of range
1019 * Consult the EFI memory map and make sure it's ok to set this range WC.
1020 * Returns true or false.
1022 static inline int efi_range_is_wc(unsigned long start, unsigned long len)
1026 for (i = 0; i < len; i += (1UL << EFI_PAGE_SHIFT)) {
1027 unsigned long paddr = __pa(start + i);
1028 if (!(efi_mem_attributes(paddr) & EFI_MEMORY_WC))
1031 /* The range checked out */
1035 #ifdef CONFIG_EFI_PCDP
1036 extern int __init efi_setup_pcdp_console(char *);
1040 * We play games with efi_enabled so that the compiler will, if
1041 * possible, remove EFI-related code altogether.
1043 #define EFI_BOOT 0 /* Were we booted from EFI? */
1044 #define EFI_CONFIG_TABLES 2 /* Can we use EFI config tables? */
1045 #define EFI_RUNTIME_SERVICES 3 /* Can we use runtime services? */
1046 #define EFI_MEMMAP 4 /* Can we use EFI memory map? */
1047 #define EFI_64BIT 5 /* Is the firmware 64-bit? */
1048 #define EFI_PARAVIRT 6 /* Access is via a paravirt interface */
1049 #define EFI_ARCH_1 7 /* First arch-specific bit */
1050 #define EFI_DBG 8 /* Print additional debug info at runtime */
1051 #define EFI_NX_PE_DATA 9 /* Can runtime data regions be mapped non-executable? */
1055 * Test whether the above EFI_* bits are enabled.
1057 static inline bool efi_enabled(int feature)
1059 return test_bit(feature, &efi.flags) != 0;
1061 extern void efi_reboot(enum reboot_mode reboot_mode, const char *__unused);
1063 static inline bool efi_enabled(int feature)
1068 efi_reboot(enum reboot_mode reboot_mode, const char *__unused) {}
1071 efi_capsule_pending(int *reset_type)
1077 extern int efi_status_to_err(efi_status_t status);
1080 * Variable Attributes
1082 #define EFI_VARIABLE_NON_VOLATILE 0x0000000000000001
1083 #define EFI_VARIABLE_BOOTSERVICE_ACCESS 0x0000000000000002
1084 #define EFI_VARIABLE_RUNTIME_ACCESS 0x0000000000000004
1085 #define EFI_VARIABLE_HARDWARE_ERROR_RECORD 0x0000000000000008
1086 #define EFI_VARIABLE_AUTHENTICATED_WRITE_ACCESS 0x0000000000000010
1087 #define EFI_VARIABLE_TIME_BASED_AUTHENTICATED_WRITE_ACCESS 0x0000000000000020
1088 #define EFI_VARIABLE_APPEND_WRITE 0x0000000000000040
1090 #define EFI_VARIABLE_MASK (EFI_VARIABLE_NON_VOLATILE | \
1091 EFI_VARIABLE_BOOTSERVICE_ACCESS | \
1092 EFI_VARIABLE_RUNTIME_ACCESS | \
1093 EFI_VARIABLE_HARDWARE_ERROR_RECORD | \
1094 EFI_VARIABLE_AUTHENTICATED_WRITE_ACCESS | \
1095 EFI_VARIABLE_TIME_BASED_AUTHENTICATED_WRITE_ACCESS | \
1096 EFI_VARIABLE_APPEND_WRITE)
1098 * Length of a GUID string (strlen("aaaaaaaa-bbbb-cccc-dddd-eeeeeeeeeeee"))
1099 * not including trailing NUL
1101 #define EFI_VARIABLE_GUID_LEN UUID_STRING_LEN
1104 * The type of search to perform when calling boottime->locate_handle
1106 #define EFI_LOCATE_ALL_HANDLES 0
1107 #define EFI_LOCATE_BY_REGISTER_NOTIFY 1
1108 #define EFI_LOCATE_BY_PROTOCOL 2
1111 * EFI Device Path information
1113 #define EFI_DEV_HW 0x01
1114 #define EFI_DEV_PCI 1
1115 #define EFI_DEV_PCCARD 2
1116 #define EFI_DEV_MEM_MAPPED 3
1117 #define EFI_DEV_VENDOR 4
1118 #define EFI_DEV_CONTROLLER 5
1119 #define EFI_DEV_ACPI 0x02
1120 #define EFI_DEV_BASIC_ACPI 1
1121 #define EFI_DEV_EXPANDED_ACPI 2
1122 #define EFI_DEV_MSG 0x03
1123 #define EFI_DEV_MSG_ATAPI 1
1124 #define EFI_DEV_MSG_SCSI 2
1125 #define EFI_DEV_MSG_FC 3
1126 #define EFI_DEV_MSG_1394 4
1127 #define EFI_DEV_MSG_USB 5
1128 #define EFI_DEV_MSG_USB_CLASS 15
1129 #define EFI_DEV_MSG_I20 6
1130 #define EFI_DEV_MSG_MAC 11
1131 #define EFI_DEV_MSG_IPV4 12
1132 #define EFI_DEV_MSG_IPV6 13
1133 #define EFI_DEV_MSG_INFINIBAND 9
1134 #define EFI_DEV_MSG_UART 14
1135 #define EFI_DEV_MSG_VENDOR 10
1136 #define EFI_DEV_MEDIA 0x04
1137 #define EFI_DEV_MEDIA_HARD_DRIVE 1
1138 #define EFI_DEV_MEDIA_CDROM 2
1139 #define EFI_DEV_MEDIA_VENDOR 3
1140 #define EFI_DEV_MEDIA_FILE 4
1141 #define EFI_DEV_MEDIA_PROTOCOL 5
1142 #define EFI_DEV_BIOS_BOOT 0x05
1143 #define EFI_DEV_END_PATH 0x7F
1144 #define EFI_DEV_END_PATH2 0xFF
1145 #define EFI_DEV_END_INSTANCE 0x01
1146 #define EFI_DEV_END_ENTIRE 0xFF
1148 struct efi_generic_dev_path {
1152 } __attribute ((packed));
1154 static inline void memrange_efi_to_native(u64 *addr, u64 *npages)
1156 *npages = PFN_UP(*addr + (*npages<<EFI_PAGE_SHIFT)) - PFN_DOWN(*addr);
1161 * EFI Variable support.
1163 * Different firmware drivers can expose their EFI-like variables using
1167 struct efivar_operations {
1168 efi_get_variable_t *get_variable;
1169 efi_get_next_variable_t *get_next_variable;
1170 efi_set_variable_t *set_variable;
1171 efi_set_variable_t *set_variable_nonblocking;
1172 efi_query_variable_store_t *query_variable_store;
1177 struct kobject *kobject;
1178 const struct efivar_operations *ops;
1182 * The maximum size of VariableName + Data = 1024
1183 * Therefore, it's reasonable to save that much
1184 * space in each part of the structure,
1185 * and we use a page for reading/writing.
1188 #define EFI_VAR_NAME_LEN 1024
1190 struct efi_variable {
1191 efi_char16_t VariableName[EFI_VAR_NAME_LEN/sizeof(efi_char16_t)];
1192 efi_guid_t VendorGuid;
1193 unsigned long DataSize;
1195 efi_status_t Status;
1197 } __attribute__((packed));
1199 struct efivar_entry {
1200 struct efi_variable var;
1201 struct list_head list;
1202 struct kobject kobj;
1207 struct efi_simple_text_output_protocol_32 {
1213 struct efi_simple_text_output_protocol_64 {
1219 struct efi_simple_text_output_protocol {
1221 efi_status_t (*output_string)(void *, void *);
1225 #define PIXEL_RGB_RESERVED_8BIT_PER_COLOR 0
1226 #define PIXEL_BGR_RESERVED_8BIT_PER_COLOR 1
1227 #define PIXEL_BIT_MASK 2
1228 #define PIXEL_BLT_ONLY 3
1229 #define PIXEL_FORMAT_MAX 4
1231 struct efi_pixel_bitmask {
1238 struct efi_graphics_output_mode_info {
1240 u32 horizontal_resolution;
1241 u32 vertical_resolution;
1243 struct efi_pixel_bitmask pixel_information;
1244 u32 pixels_per_scan_line;
1247 struct efi_graphics_output_protocol_mode_32 {
1252 u64 frame_buffer_base;
1253 u32 frame_buffer_size;
1256 struct efi_graphics_output_protocol_mode_64 {
1261 u64 frame_buffer_base;
1262 u64 frame_buffer_size;
1265 struct efi_graphics_output_protocol_mode {
1269 unsigned long size_of_info;
1270 u64 frame_buffer_base;
1271 unsigned long frame_buffer_size;
1274 struct efi_graphics_output_protocol_32 {
1281 struct efi_graphics_output_protocol_64 {
1288 struct efi_graphics_output_protocol {
1289 unsigned long query_mode;
1290 unsigned long set_mode;
1292 struct efi_graphics_output_protocol_mode *mode;
1295 typedef efi_status_t (*efi_graphics_output_protocol_query_mode)(
1296 struct efi_graphics_output_protocol *, u32, unsigned long *,
1297 struct efi_graphics_output_mode_info **);
1299 extern struct list_head efivar_sysfs_list;
1302 efivar_unregister(struct efivar_entry *var)
1304 kobject_put(&var->kobj);
1307 int efivars_register(struct efivars *efivars,
1308 const struct efivar_operations *ops,
1309 struct kobject *kobject);
1310 int efivars_unregister(struct efivars *efivars);
1311 struct kobject *efivars_kobject(void);
1313 int efivar_init(int (*func)(efi_char16_t *, efi_guid_t, unsigned long, void *),
1314 void *data, bool duplicates, struct list_head *head);
1316 int efivar_entry_add(struct efivar_entry *entry, struct list_head *head);
1317 int efivar_entry_remove(struct efivar_entry *entry);
1319 int __efivar_entry_delete(struct efivar_entry *entry);
1320 int efivar_entry_delete(struct efivar_entry *entry);
1322 int efivar_entry_size(struct efivar_entry *entry, unsigned long *size);
1323 int __efivar_entry_get(struct efivar_entry *entry, u32 *attributes,
1324 unsigned long *size, void *data);
1325 int efivar_entry_get(struct efivar_entry *entry, u32 *attributes,
1326 unsigned long *size, void *data);
1327 int efivar_entry_set(struct efivar_entry *entry, u32 attributes,
1328 unsigned long size, void *data, struct list_head *head);
1329 int efivar_entry_set_get_size(struct efivar_entry *entry, u32 attributes,
1330 unsigned long *size, void *data, bool *set);
1331 int efivar_entry_set_safe(efi_char16_t *name, efi_guid_t vendor, u32 attributes,
1332 bool block, unsigned long size, void *data);
1334 int efivar_entry_iter_begin(void);
1335 void efivar_entry_iter_end(void);
1337 int __efivar_entry_iter(int (*func)(struct efivar_entry *, void *),
1338 struct list_head *head, void *data,
1339 struct efivar_entry **prev);
1340 int efivar_entry_iter(int (*func)(struct efivar_entry *, void *),
1341 struct list_head *head, void *data);
1343 struct efivar_entry *efivar_entry_find(efi_char16_t *name, efi_guid_t guid,
1344 struct list_head *head, bool remove);
1346 bool efivar_validate(efi_guid_t vendor, efi_char16_t *var_name, u8 *data,
1347 unsigned long data_size);
1348 bool efivar_variable_is_removable(efi_guid_t vendor, const char *name,
1351 extern struct work_struct efivar_work;
1352 void efivar_run_worker(void);
1354 #if defined(CONFIG_EFI_VARS) || defined(CONFIG_EFI_VARS_MODULE)
1355 int efivars_sysfs_init(void);
1357 #define EFIVARS_DATA_SIZE_MAX 1024
1359 #endif /* CONFIG_EFI_VARS */
1360 extern bool efi_capsule_pending(int *reset_type);
1362 extern int efi_capsule_supported(efi_guid_t guid, u32 flags,
1363 size_t size, int *reset);
1365 extern int efi_capsule_update(efi_capsule_header_t *capsule,
1366 struct page **pages);
1368 #ifdef CONFIG_EFI_RUNTIME_MAP
1369 int efi_runtime_map_init(struct kobject *);
1370 int efi_get_runtime_map_size(void);
1371 int efi_get_runtime_map_desc_size(void);
1372 int efi_runtime_map_copy(void *buf, size_t bufsz);
1374 static inline int efi_runtime_map_init(struct kobject *kobj)
1379 static inline int efi_get_runtime_map_size(void)
1384 static inline int efi_get_runtime_map_desc_size(void)
1389 static inline int efi_runtime_map_copy(void *buf, size_t bufsz)
1396 /* prototypes shared between arch specific and generic stub code */
1398 #define pr_efi(sys_table, msg) efi_printk(sys_table, "EFI stub: "msg)
1399 #define pr_efi_err(sys_table, msg) efi_printk(sys_table, "EFI stub: ERROR: "msg)
1401 void efi_printk(efi_system_table_t *sys_table_arg, char *str);
1403 void efi_free(efi_system_table_t *sys_table_arg, unsigned long size,
1404 unsigned long addr);
1406 char *efi_convert_cmdline(efi_system_table_t *sys_table_arg,
1407 efi_loaded_image_t *image, int *cmd_line_len);
1409 efi_status_t efi_get_memory_map(efi_system_table_t *sys_table_arg,
1410 struct efi_boot_memmap *map);
1412 efi_status_t efi_low_alloc(efi_system_table_t *sys_table_arg,
1413 unsigned long size, unsigned long align,
1414 unsigned long *addr);
1416 efi_status_t efi_high_alloc(efi_system_table_t *sys_table_arg,
1417 unsigned long size, unsigned long align,
1418 unsigned long *addr, unsigned long max);
1420 efi_status_t efi_relocate_kernel(efi_system_table_t *sys_table_arg,
1421 unsigned long *image_addr,
1422 unsigned long image_size,
1423 unsigned long alloc_size,
1424 unsigned long preferred_addr,
1425 unsigned long alignment);
1427 efi_status_t handle_cmdline_files(efi_system_table_t *sys_table_arg,
1428 efi_loaded_image_t *image,
1429 char *cmd_line, char *option_string,
1430 unsigned long max_addr,
1431 unsigned long *load_addr,
1432 unsigned long *load_size);
1434 efi_status_t efi_parse_options(char const *cmdline);
1436 efi_status_t efi_setup_gop(efi_system_table_t *sys_table_arg,
1437 struct screen_info *si, efi_guid_t *proto,
1438 unsigned long size);
1441 extern bool efi_runtime_disabled(void);
1443 static inline bool efi_runtime_disabled(void) { return true; }
1446 extern void efi_call_virt_check_flags(unsigned long flags, const char *call);
1449 * Arch code can implement the following three template macros, avoiding
1450 * reptition for the void/non-void return cases of {__,}efi_call_virt():
1452 * * arch_efi_call_virt_setup()
1454 * Sets up the environment for the call (e.g. switching page tables,
1455 * allowing kernel-mode use of floating point, if required).
1457 * * arch_efi_call_virt()
1459 * Performs the call. The last expression in the macro must be the call
1460 * itself, allowing the logic to be shared by the void and non-void
1463 * * arch_efi_call_virt_teardown()
1465 * Restores the usual kernel environment once the call has returned.
1468 #define efi_call_virt_pointer(p, f, args...) \
1471 unsigned long __flags; \
1473 arch_efi_call_virt_setup(); \
1475 local_save_flags(__flags); \
1476 __s = arch_efi_call_virt(p, f, args); \
1477 efi_call_virt_check_flags(__flags, __stringify(f)); \
1479 arch_efi_call_virt_teardown(); \
1484 #define __efi_call_virt_pointer(p, f, args...) \
1486 unsigned long __flags; \
1488 arch_efi_call_virt_setup(); \
1490 local_save_flags(__flags); \
1491 arch_efi_call_virt(p, f, args); \
1492 efi_call_virt_check_flags(__flags, __stringify(f)); \
1494 arch_efi_call_virt_teardown(); \
1497 typedef efi_status_t (*efi_exit_boot_map_processing)(
1498 efi_system_table_t *sys_table_arg,
1499 struct efi_boot_memmap *map,
1502 efi_status_t efi_exit_boot_services(efi_system_table_t *sys_table,
1504 struct efi_boot_memmap *map,
1506 efi_exit_boot_map_processing priv_func);
1507 #endif /* _LINUX_EFI_H */