blob: a5aae1b87ecf728a2289d40a75e87e8186826b81 [file] [log] [blame]
Alexander Grafcb149c62016-03-04 01:09:58 +01001/*
2 * EFI application loader
3 *
4 * Copyright (c) 2016 Alexander Graf
5 *
6 * SPDX-License-Identifier: GPL-2.0+
7 */
8
Heinrich Schuchardtcd9e18d2017-10-18 18:13:07 +02009#ifndef _EFI_LOADER_H
10#define _EFI_LOADER_H 1
11
Alexander Grafbee91162016-03-04 01:09:59 +010012#include <common.h>
Alexander Grafcb149c62016-03-04 01:09:58 +010013#include <part_efi.h>
14#include <efi_api.h>
Alexander Grafbee91162016-03-04 01:09:59 +010015
16/* No need for efi loader support in SPL */
17#if defined(CONFIG_EFI_LOADER) && !defined(CONFIG_SPL_BUILD)
18
Alexander Grafcb149c62016-03-04 01:09:58 +010019#include <linux/list.h>
20
Rob Clarkc160d2f2017-07-27 08:04:18 -040021int __efi_entry_check(void);
22int __efi_exit_check(void);
Heinrich Schuchardtae0bd3a2017-08-18 17:45:16 +020023const char *__efi_nesting(void);
Rob Clarkaf65db82017-07-27 08:04:19 -040024const char *__efi_nesting_inc(void);
25const char *__efi_nesting_dec(void);
Rob Clarkc160d2f2017-07-27 08:04:18 -040026
Rob Clarka095aad2017-07-27 08:04:17 -040027/*
28 * Enter the u-boot world from UEFI:
29 */
Alexander Grafbee91162016-03-04 01:09:59 +010030#define EFI_ENTRY(format, ...) do { \
Rob Clarkc160d2f2017-07-27 08:04:18 -040031 assert(__efi_entry_check()); \
Rob Clarkaf65db82017-07-27 08:04:19 -040032 debug("%sEFI: Entry %s(" format ")\n", __efi_nesting_inc(), \
33 __func__, ##__VA_ARGS__); \
Alexander Grafbee91162016-03-04 01:09:59 +010034 } while(0)
Alexander Grafbee91162016-03-04 01:09:59 +010035
Rob Clarka095aad2017-07-27 08:04:17 -040036/*
37 * Exit the u-boot world back to UEFI:
38 */
Rob Clark804b1d72017-07-24 10:31:52 -040039#define EFI_EXIT(ret) ({ \
xypron.glpk@gmx.dec81883d2017-08-17 18:57:36 +020040 typeof(ret) _r = ret; \
Rob Clarkaf65db82017-07-27 08:04:19 -040041 debug("%sEFI: Exit: %s: %u\n", __efi_nesting_dec(), \
xypron.glpk@gmx.dec81883d2017-08-17 18:57:36 +020042 __func__, (u32)((uintptr_t) _r & ~EFI_ERROR_MASK)); \
Rob Clarkc160d2f2017-07-27 08:04:18 -040043 assert(__efi_exit_check()); \
44 _r; \
Rob Clark804b1d72017-07-24 10:31:52 -040045 })
Alexander Grafbee91162016-03-04 01:09:59 +010046
Rob Clarka095aad2017-07-27 08:04:17 -040047/*
Heinrich Schuchardtea630ce2017-09-15 10:06:10 +020048 * Call non-void UEFI function from u-boot and retrieve return value:
Rob Clarka095aad2017-07-27 08:04:17 -040049 */
Heinrich Schuchardtea630ce2017-09-15 10:06:10 +020050#define EFI_CALL(exp) ({ \
51 debug("%sEFI: Call: %s\n", __efi_nesting_inc(), #exp); \
52 assert(__efi_exit_check()); \
53 typeof(exp) _r = exp; \
54 assert(__efi_entry_check()); \
55 debug("%sEFI: %lu returned by %s\n", __efi_nesting_dec(), \
56 (unsigned long)((uintptr_t)_r & ~EFI_ERROR_MASK), #exp); \
57 _r; \
58})
59
60/*
61 * Call void UEFI function from u-boot:
62 */
63#define EFI_CALL_VOID(exp) do { \
Rob Clarkaf65db82017-07-27 08:04:19 -040064 debug("%sEFI: Call: %s\n", __efi_nesting_inc(), #exp); \
Rob Clarkc160d2f2017-07-27 08:04:18 -040065 assert(__efi_exit_check()); \
Rob Clarka095aad2017-07-27 08:04:17 -040066 exp; \
Rob Clarkc160d2f2017-07-27 08:04:18 -040067 assert(__efi_entry_check()); \
Rob Clarkaf65db82017-07-27 08:04:19 -040068 debug("%sEFI: Return From: %s\n", __efi_nesting_dec(), #exp); \
Rob Clarka095aad2017-07-27 08:04:17 -040069 } while(0)
70
Heinrich Schuchardtae0bd3a2017-08-18 17:45:16 +020071/*
72 * Write GUID
73 */
74#define EFI_PRINT_GUID(txt, guid) ({ \
75 debug("%sEFI: %s %pUl\n", __efi_nesting(), txt, guid); \
76 })
77
Alexander Graf50149ea2016-03-04 01:10:01 +010078extern struct efi_runtime_services efi_runtime_services;
Alexander Grafbee91162016-03-04 01:09:59 +010079extern struct efi_system_table systab;
80
Alexander Grafc1311ad2016-03-04 01:10:00 +010081extern const struct efi_simple_text_output_protocol efi_con_out;
xypron.glpk@gmx.de91be9a72017-07-18 20:17:22 +020082extern struct efi_simple_input_interface efi_con_in;
Alexander Grafc1311ad2016-03-04 01:10:00 +010083extern const struct efi_console_control_protocol efi_console_control;
xypron.glpk@gmx.decc5b7082017-07-11 22:06:25 +020084extern const struct efi_device_path_to_text_protocol efi_device_path_to_text;
Alexander Grafc1311ad2016-03-04 01:10:00 +010085
Rob Clarkadae4312017-09-13 18:05:30 -040086uint16_t *efi_dp_str(struct efi_device_path *dp);
87
Rob Clark9975fe92017-09-13 18:05:38 -040088extern const efi_guid_t efi_global_variable_guid;
Alexander Grafc1311ad2016-03-04 01:10:00 +010089extern const efi_guid_t efi_guid_console_control;
Alexander Grafcb149c62016-03-04 01:09:58 +010090extern const efi_guid_t efi_guid_device_path;
91extern const efi_guid_t efi_guid_loaded_image;
xypron.glpk@gmx.decc5b7082017-07-11 22:06:25 +020092extern const efi_guid_t efi_guid_device_path_to_text_protocol;
Rob Clark2a920802017-09-13 18:05:34 -040093extern const efi_guid_t efi_simple_file_system_protocol_guid;
94extern const efi_guid_t efi_file_info_guid;
Alexander Grafcb149c62016-03-04 01:09:58 +010095
Alexander Graf50149ea2016-03-04 01:10:01 +010096extern unsigned int __efi_runtime_start, __efi_runtime_stop;
97extern unsigned int __efi_runtime_rel_start, __efi_runtime_rel_stop;
98
Alexander Grafbee91162016-03-04 01:09:59 +010099/*
Alexander Grafbee91162016-03-04 01:09:59 +0100100 * When the UEFI payload wants to open a protocol on an object to get its
101 * interface (usually a struct with callback functions), this struct maps the
xypron.glpk@gmx.deb5349f72017-07-11 22:06:14 +0200102 * protocol GUID to the respective protocol interface */
Alexander Grafbee91162016-03-04 01:09:59 +0100103struct efi_handler {
104 const efi_guid_t *guid;
xypron.glpk@gmx.deb5349f72017-07-11 22:06:14 +0200105 void *protocol_interface;
Alexander Grafbee91162016-03-04 01:09:59 +0100106};
107
108/*
109 * UEFI has a poor man's OO model where one "object" can be polymorphic and have
110 * multiple different protocols (classes) attached to it.
111 *
112 * This struct is the parent struct for all of our actual implementation objects
113 * that can include it to make themselves an EFI object
114 */
115struct efi_object {
116 /* Every UEFI object is part of a global object list */
117 struct list_head link;
Heinrich Schuchardt842a8e42017-08-27 00:51:04 +0200118 /* We support up to 16 "protocols" an object can be accessed through */
119 struct efi_handler protocols[16];
Alexander Grafbee91162016-03-04 01:09:59 +0100120 /* The object spawner can either use this for data or as identifier */
121 void *handle;
122};
123
Rob Clark641833d2017-07-24 10:39:00 -0400124#define EFI_PROTOCOL_OBJECT(_guid, _protocol) (struct efi_object){ \
125 .protocols = {{ \
126 .guid = &(_guid), \
127 .protocol_interface = (void *)(_protocol), \
128 }}, \
129 .handle = (void *)(_protocol), \
130}
131
xypron.glpk@gmx.dec6841592017-07-18 20:17:18 +0200132/**
133 * struct efi_event
134 *
135 * @type: Type of event, see efi_create_event
136 * @notify_tpl: Task priority level of notifications
137 * @trigger_time: Period of the timer
138 * @trigger_next: Next time to trigger the timer
139 * @nofify_function: Function to call when the event is triggered
140 * @notify_context: Data to be passed to the notify function
141 * @trigger_type: Type of timer, see efi_set_timer
Heinrich Schuchardte190e892017-10-04 15:03:24 +0200142 * @queued: The notification function is queued
143 * @signaled: The event occurred. The event is in the signaled state.
xypron.glpk@gmx.dec6841592017-07-18 20:17:18 +0200144 */
145struct efi_event {
xypron.glpk@gmx.deb521d292017-07-19 19:22:34 +0200146 uint32_t type;
Heinrich Schuchardt152cade2017-11-06 21:17:47 +0100147 efi_uintn_t notify_tpl;
xypron.glpk@gmx.dec6841592017-07-18 20:17:18 +0200148 void (EFIAPI *notify_function)(struct efi_event *event, void *context);
149 void *notify_context;
150 u64 trigger_next;
151 u64 trigger_time;
xypron.glpk@gmx.deb521d292017-07-19 19:22:34 +0200152 enum efi_timer_delay trigger_type;
Heinrich Schuchardte190e892017-10-04 15:03:24 +0200153 bool is_queued;
154 bool is_signaled;
xypron.glpk@gmx.dec6841592017-07-18 20:17:18 +0200155};
156
157
Alexander Grafbee91162016-03-04 01:09:59 +0100158/* This list contains all UEFI objects we know of */
159extern struct list_head efi_obj_list;
160
xypron.glpk@gmx.de91be9a72017-07-18 20:17:22 +0200161/* Called by bootefi to make console interface available */
162int efi_console_register(void);
Alexander Graf2a22d052016-03-04 01:10:02 +0100163/* Called by bootefi to make all disk storage accessible as EFI objects */
164int efi_disk_register(void);
Alexander Grafbe8d3242016-03-15 18:38:21 +0100165/* Called by bootefi to make GOP (graphical) interface available */
166int efi_gop_register(void);
Alexander Graf0efe1bc2016-05-06 21:01:01 +0200167/* Called by bootefi to make the network interface available */
Rob Clark95c55532017-09-13 18:05:33 -0400168int efi_net_register(void);
Heinrich Schuchardtb3d60902017-10-18 18:13:04 +0200169/* Called by bootefi to make the watchdog available */
170int efi_watchdog_register(void);
Alexander Grafe663b352016-08-19 01:23:29 +0200171/* Called by bootefi to make SMBIOS tables available */
172void efi_smbios_register(void);
Alexander Graf0efe1bc2016-05-06 21:01:01 +0200173
Rob Clark2a920802017-09-13 18:05:34 -0400174struct efi_simple_file_system_protocol *
175efi_fs_from_path(struct efi_device_path *fp);
176
Alexander Graf0efe1bc2016-05-06 21:01:01 +0200177/* Called by networking code to memorize the dhcp ack package */
178void efi_net_set_dhcp_ack(void *pkt, int len);
Heinrich Schuchardtb3d60902017-10-18 18:13:04 +0200179/* Called by efi_set_watchdog_timer to reset the timer */
180efi_status_t efi_set_watchdog(unsigned long timeout);
Alexander Graf0efe1bc2016-05-06 21:01:01 +0200181
Alexander Grafbee91162016-03-04 01:09:59 +0100182/* Called from places to check whether a timer expired */
183void efi_timer_check(void);
184/* PE loader implementation */
Alexander Grafcb149c62016-03-04 01:09:58 +0100185void *efi_load_pe(void *efi, struct efi_loaded_image *loaded_image_info);
Alexander Grafbee91162016-03-04 01:09:59 +0100186/* Called once to store the pristine gd pointer */
187void efi_save_gd(void);
Rob Clarkc160d2f2017-07-27 08:04:18 -0400188/* Special case handler for error/abort that just tries to dtrt to get
189 * back to u-boot world */
Alexander Grafbee91162016-03-04 01:09:59 +0100190void efi_restore_gd(void);
Alexander Graf50149ea2016-03-04 01:10:01 +0100191/* Call this to relocate the runtime section to an address space */
192void efi_runtime_relocate(ulong offset, struct efi_mem_desc *map);
Alexander Graf0f4060e2016-03-04 01:10:14 +0100193/* Call this to set the current device name */
Alexander Grafc07ad7c2016-04-11 16:16:19 +0200194void efi_set_bootdev(const char *dev, const char *devnr, const char *path);
Heinrich Schuchardt2edab5e2017-10-26 19:25:49 +0200195/* Create handle */
196efi_status_t efi_create_handle(void **handle);
Heinrich Schuchardt1b681532017-11-06 21:17:50 +0100197/* Call this to validate a handle and find the EFI object for it */
Heinrich Schuchardt085d07c2017-10-26 19:25:50 +0200198struct efi_object *efi_search_obj(const void *handle);
xypron.glpk@gmx.de49deb452017-07-18 20:17:20 +0200199/* Call this to create an event */
Heinrich Schuchardt152cade2017-11-06 21:17:47 +0100200efi_status_t efi_create_event(uint32_t type, efi_uintn_t notify_tpl,
xypron.glpk@gmx.de49deb452017-07-18 20:17:20 +0200201 void (EFIAPI *notify_function) (
202 struct efi_event *event,
203 void *context),
204 void *notify_context, struct efi_event **event);
xypron.glpk@gmx.debfc72462017-07-18 20:17:21 +0200205/* Call this to set a timer */
xypron.glpk@gmx.deb521d292017-07-19 19:22:34 +0200206efi_status_t efi_set_timer(struct efi_event *event, enum efi_timer_delay type,
xypron.glpk@gmx.debfc72462017-07-18 20:17:21 +0200207 uint64_t trigger_time);
xypron.glpk@gmx.de91be9a72017-07-18 20:17:22 +0200208/* Call this to signal an event */
209void efi_signal_event(struct efi_event *event);
Alexander Graf50149ea2016-03-04 01:10:01 +0100210
Rob Clark2a920802017-09-13 18:05:34 -0400211/* open file system: */
212struct efi_simple_file_system_protocol *efi_simple_file_system(
213 struct blk_desc *desc, int part, struct efi_device_path *dp);
214
215/* open file from device-path: */
216struct efi_file_handle *efi_file_from_path(struct efi_device_path *fp);
217
218
Alexander Graf5d009952016-03-04 01:10:04 +0100219/* Generic EFI memory allocator, call this to get memory */
220void *efi_alloc(uint64_t len, int memory_type);
221/* More specific EFI memory allocator, called by EFI payloads */
Heinrich Schuchardtf5a2a932017-11-06 21:17:48 +0100222efi_status_t efi_allocate_pages(int type, int memory_type, efi_uintn_t pages,
Alexander Graf5d009952016-03-04 01:10:04 +0100223 uint64_t *memory);
Stefan Brünsb61d8572016-10-01 23:32:27 +0200224/* EFI memory free function. */
Heinrich Schuchardtf5a2a932017-11-06 21:17:48 +0100225efi_status_t efi_free_pages(uint64_t memory, efi_uintn_t pages);
Stefan Brünsead12742016-10-09 22:17:18 +0200226/* EFI memory allocator for small allocations */
Heinrich Schuchardtf5a2a932017-11-06 21:17:48 +0100227efi_status_t efi_allocate_pool(int pool_type, efi_uintn_t size,
Stefan Brünsead12742016-10-09 22:17:18 +0200228 void **buffer);
Stefan Brüns42417bc2016-10-09 22:17:26 +0200229/* EFI pool memory free function. */
230efi_status_t efi_free_pool(void *buffer);
Alexander Graf5d009952016-03-04 01:10:04 +0100231/* Returns the EFI memory map */
Heinrich Schuchardtf5a2a932017-11-06 21:17:48 +0100232efi_status_t efi_get_memory_map(efi_uintn_t *memory_map_size,
Alexander Graf5d009952016-03-04 01:10:04 +0100233 struct efi_mem_desc *memory_map,
Heinrich Schuchardtf5a2a932017-11-06 21:17:48 +0100234 efi_uintn_t *map_key,
235 efi_uintn_t *descriptor_size,
Alexander Graf5d009952016-03-04 01:10:04 +0100236 uint32_t *descriptor_version);
237/* Adds a range into the EFI memory map */
238uint64_t efi_add_memory_map(uint64_t start, uint64_t pages, int memory_type,
239 bool overlap_only_ram);
240/* Called by board init to initialize the EFI memory map */
241int efi_memory_init(void);
Alexander Graf488bf122016-08-19 01:23:24 +0200242/* Adds new or overrides configuration table entry to the system table */
243efi_status_t efi_install_configuration_table(const efi_guid_t *guid, void *table);
Rob Clark95c55532017-09-13 18:05:33 -0400244void efi_setup_loaded_image(struct efi_loaded_image *info, struct efi_object *obj,
245 struct efi_device_path *device_path,
246 struct efi_device_path *file_path);
Rob Clark9975fe92017-09-13 18:05:38 -0400247efi_status_t efi_load_image_from_path(struct efi_device_path *file_path,
248 void **buffer);
Alexander Graf5d009952016-03-04 01:10:04 +0100249
Alexander Graf51735ae2016-05-11 18:25:48 +0200250#ifdef CONFIG_EFI_LOADER_BOUNCE_BUFFER
251extern void *efi_bounce_buffer;
252#define EFI_LOADER_BOUNCE_BUFFER_SIZE (64 * 1024 * 1024)
253#endif
254
Rob Clarkb66c60d2017-09-13 18:05:28 -0400255
256struct efi_device_path *efi_dp_next(const struct efi_device_path *dp);
Heinrich Schuchardtff401d32017-10-26 19:25:48 +0200257int efi_dp_match(const struct efi_device_path *a,
258 const struct efi_device_path *b);
Rob Clarkb66c60d2017-09-13 18:05:28 -0400259struct efi_object *efi_dp_find_obj(struct efi_device_path *dp,
260 struct efi_device_path **rem);
261unsigned efi_dp_size(const struct efi_device_path *dp);
262struct efi_device_path *efi_dp_dup(const struct efi_device_path *dp);
263struct efi_device_path *efi_dp_append(const struct efi_device_path *dp1,
264 const struct efi_device_path *dp2);
265struct efi_device_path *efi_dp_append_node(const struct efi_device_path *dp,
266 const struct efi_device_path *node);
267
268
269struct efi_device_path *efi_dp_from_dev(struct udevice *dev);
270struct efi_device_path *efi_dp_from_part(struct blk_desc *desc, int part);
271struct efi_device_path *efi_dp_from_file(struct blk_desc *desc, int part,
272 const char *path);
273struct efi_device_path *efi_dp_from_eth(void);
Rob Clarkbf192732017-10-10 08:23:06 -0400274struct efi_device_path *efi_dp_from_mem(uint32_t mem_type,
275 uint64_t start_address,
276 uint64_t end_address);
Rob Clarkb66c60d2017-09-13 18:05:28 -0400277void efi_dp_split_file_path(struct efi_device_path *full_path,
278 struct efi_device_path **device_path,
279 struct efi_device_path **file_path);
280
281#define EFI_DP_TYPE(_dp, _type, _subtype) \
282 (((_dp)->type == DEVICE_PATH_TYPE_##_type) && \
283 ((_dp)->sub_type == DEVICE_PATH_SUB_TYPE_##_subtype))
284
Alexander Graf0f4060e2016-03-04 01:10:14 +0100285/* Convert strings from normal C strings to uEFI strings */
Simon Glass487d7562016-05-14 14:03:05 -0600286static inline void ascii2unicode(u16 *unicode, const char *ascii)
Alexander Graf0f4060e2016-03-04 01:10:14 +0100287{
288 while (*ascii)
289 *(unicode++) = *(ascii++);
290}
291
Rob Clark3e094c52017-07-24 07:59:11 -0400292static inline int guidcmp(const efi_guid_t *g1, const efi_guid_t *g2)
293{
294 return memcmp(g1, g2, sizeof(efi_guid_t));
295}
296
Alexander Graf50149ea2016-03-04 01:10:01 +0100297/*
298 * Use these to indicate that your code / data should go into the EFI runtime
299 * section and thus still be available when the OS is running
300 */
Alexander Graf3c63db92016-10-14 13:45:30 +0200301#define __efi_runtime_data __attribute__ ((section ("efi_runtime_data")))
302#define __efi_runtime __attribute__ ((section ("efi_runtime_text")))
Alexander Grafbee91162016-03-04 01:09:59 +0100303
Alexander Graf80a48002016-08-16 21:08:45 +0200304/* Call this with mmio_ptr as the _pointer_ to a pointer to an MMIO region
305 * to make it available at runtime */
306void efi_add_runtime_mmio(void *mmio_ptr, u64 len);
307
308/* Boards may provide the functions below to implement RTS functionality */
309
Alexander Graf3c63db92016-10-14 13:45:30 +0200310void __efi_runtime EFIAPI efi_reset_system(
Alexander Graf80a48002016-08-16 21:08:45 +0200311 enum efi_reset_type reset_type,
312 efi_status_t reset_status,
313 unsigned long data_size, void *reset_data);
314void efi_reset_system_init(void);
315
Alexander Graf3c63db92016-10-14 13:45:30 +0200316efi_status_t __efi_runtime EFIAPI efi_get_time(
Alexander Graf80a48002016-08-16 21:08:45 +0200317 struct efi_time *time,
318 struct efi_time_cap *capabilities);
319void efi_get_time_init(void);
320
Heinrich Schuchardt623b3a52017-09-15 10:06:11 +0200321#ifdef CONFIG_CMD_BOOTEFI_SELFTEST
322/*
323 * Entry point for the tests of the EFI API.
324 * It is called by 'bootefi selftest'
325 */
326efi_status_t EFIAPI efi_selftest(efi_handle_t image_handle,
327 struct efi_system_table *systab);
328#endif
329
Rob Clarkad644e72017-09-13 18:05:37 -0400330efi_status_t EFIAPI efi_get_variable(s16 *variable_name,
331 efi_guid_t *vendor, u32 *attributes,
332 unsigned long *data_size, void *data);
333efi_status_t EFIAPI efi_get_next_variable(
334 unsigned long *variable_name_size,
335 s16 *variable_name, efi_guid_t *vendor);
336efi_status_t EFIAPI efi_set_variable(s16 *variable_name,
337 efi_guid_t *vendor, u32 attributes,
338 unsigned long data_size, void *data);
339
Rob Clark9975fe92017-09-13 18:05:38 -0400340void *efi_bootmgr_load(struct efi_device_path **device_path,
341 struct efi_device_path **file_path);
342
Alexander Grafbee91162016-03-04 01:09:59 +0100343#else /* defined(EFI_LOADER) && !defined(CONFIG_SPL_BUILD) */
344
Alexander Graf50149ea2016-03-04 01:10:01 +0100345/* Without CONFIG_EFI_LOADER we don't have a runtime section, stub it out */
Alexander Graf3c63db92016-10-14 13:45:30 +0200346#define __efi_runtime_data
347#define __efi_runtime
Alexander Graf97d01442016-11-17 01:02:56 +0100348static inline void efi_add_runtime_mmio(void *mmio_ptr, u64 len) { }
Alexander Graf50149ea2016-03-04 01:10:01 +0100349
Alexander Grafbee91162016-03-04 01:09:59 +0100350/* No loader configured, stub out EFI_ENTRY */
351static inline void efi_restore_gd(void) { }
Alexander Grafc07ad7c2016-04-11 16:16:19 +0200352static inline void efi_set_bootdev(const char *dev, const char *devnr,
353 const char *path) { }
Alexander Graf0efe1bc2016-05-06 21:01:01 +0200354static inline void efi_net_set_dhcp_ack(void *pkt, int len) { }
Alexander Grafbee91162016-03-04 01:09:59 +0100355
Heinrich Schuchardtcd9e18d2017-10-18 18:13:07 +0200356#endif /* CONFIG_EFI_LOADER && !CONFIG_SPL_BUILD */
357
358#endif /* _EFI_LOADER_H */