2 * EFI application boot time services
4 * Copyright (c) 2016 Alexander Graf
6 * SPDX-License-Identifier: GPL-2.0+
10 #include <efi_loader.h>
12 #include <asm/global_data.h>
13 #include <libfdt_env.h>
14 #include <u-boot/crc.h>
19 DECLARE_GLOBAL_DATA_PTR;
21 /* This list contains all the EFI objects our payload has access to */
22 LIST_HEAD(efi_obj_list);
25 * If we're running on nasty systems (32bit ARM booting into non-EFI Linux)
26 * we need to do trickery with caches. Since we don't want to break the EFI
27 * aware boot path, only apply hacks when loading exiting directly (breaking
28 * direct Linux EFI booting along the way - oh well).
30 static bool efi_is_direct_boot = true;
33 * EFI can pass arbitrary additional "tables" containing vendor specific
34 * information to the payload. One such table is the FDT table which contains
35 * a pointer to a flattened device tree blob.
37 * In most cases we want to pass an FDT to the payload, so reserve one slot of
38 * config table space for it. The pointer gets populated by do_bootefi_exec().
40 static struct efi_configuration_table __efi_runtime_data efi_conf_table[2];
44 * The "gd" pointer lives in a register on ARM and AArch64 that we declare
45 * fixed when compiling U-Boot. However, the payload does not know about that
46 * restriction so we need to manually swap its and our view of that register on
47 * EFI callback entry/exit.
49 static volatile void *efi_gd, *app_gd;
52 /* Called from do_bootefi_exec() */
53 void efi_save_gd(void)
60 /* Called on every callback entry */
61 void efi_restore_gd(void)
64 /* Only restore if we're already in EFI context */
74 /* Called on every callback exit */
75 efi_status_t efi_exit_func(efi_status_t ret)
84 static efi_status_t efi_unsupported(const char *funcname)
86 debug("EFI: App called into unimplemented function %s\n", funcname);
87 return EFI_EXIT(EFI_UNSUPPORTED);
90 static int guidcmp(const efi_guid_t *g1, const efi_guid_t *g2)
92 return memcmp(g1, g2, sizeof(efi_guid_t));
95 static unsigned long EFIAPI efi_raise_tpl(unsigned long new_tpl)
97 EFI_ENTRY("0x%lx", new_tpl);
101 static void EFIAPI efi_restore_tpl(unsigned long old_tpl)
103 EFI_ENTRY("0x%lx", old_tpl);
104 EFI_EXIT(efi_unsupported(__func__));
107 static efi_status_t EFIAPI efi_allocate_pages_ext(int type, int memory_type,
113 EFI_ENTRY("%d, %d, 0x%lx, %p", type, memory_type, pages, memory);
114 r = efi_allocate_pages(type, memory_type, pages, memory);
118 static efi_status_t EFIAPI efi_free_pages_ext(uint64_t memory,
123 EFI_ENTRY("%"PRIx64", 0x%lx", memory, pages);
124 r = efi_free_pages(memory, pages);
128 static efi_status_t EFIAPI efi_get_memory_map_ext(
129 unsigned long *memory_map_size,
130 struct efi_mem_desc *memory_map,
131 unsigned long *map_key,
132 unsigned long *descriptor_size,
133 uint32_t *descriptor_version)
137 EFI_ENTRY("%p, %p, %p, %p, %p", memory_map_size, memory_map,
138 map_key, descriptor_size, descriptor_version);
139 r = efi_get_memory_map(memory_map_size, memory_map, map_key,
140 descriptor_size, descriptor_version);
144 static efi_status_t EFIAPI efi_allocate_pool_ext(int pool_type,
150 EFI_ENTRY("%d, %ld, %p", pool_type, size, buffer);
151 r = efi_allocate_pool(pool_type, size, buffer);
155 static efi_status_t EFIAPI efi_free_pool_ext(void *buffer)
159 EFI_ENTRY("%p", buffer);
160 r = efi_free_pool(buffer);
165 * Our event capabilities are very limited. Only support a single
166 * event to exist, so we don't need to maintain lists.
169 enum efi_event_type type;
173 unsigned long notify_tpl;
174 void (EFIAPI *notify_function) (void *event, void *context);
175 void *notify_context;
177 /* Disable timers on bootup */
178 .trigger_next = -1ULL,
181 static efi_status_t EFIAPI efi_create_event(
182 enum efi_event_type type, ulong notify_tpl,
183 void (EFIAPI *notify_function) (void *event,
185 void *notify_context, void **event)
187 EFI_ENTRY("%d, 0x%lx, %p, %p", type, notify_tpl, notify_function,
189 if (efi_event.notify_function) {
190 /* We only support one event at a time */
191 return EFI_EXIT(EFI_OUT_OF_RESOURCES);
195 return EFI_EXIT(EFI_INVALID_PARAMETER);
197 if ((type & EVT_NOTIFY_SIGNAL) && (type & EVT_NOTIFY_WAIT))
198 return EFI_EXIT(EFI_INVALID_PARAMETER);
200 if ((type & (EVT_NOTIFY_SIGNAL|EVT_NOTIFY_WAIT)) &&
201 notify_function == NULL)
202 return EFI_EXIT(EFI_INVALID_PARAMETER);
204 efi_event.type = type;
205 efi_event.notify_tpl = notify_tpl;
206 efi_event.notify_function = notify_function;
207 efi_event.notify_context = notify_context;
210 return EFI_EXIT(EFI_SUCCESS);
214 * Our timers have to work without interrupts, so we check whenever keyboard
215 * input or disk accesses happen if enough time elapsed for it to fire.
217 void efi_timer_check(void)
219 u64 now = timer_get_us();
221 if (now >= efi_event.trigger_next) {
223 if (efi_event.trigger_type == EFI_TIMER_PERIODIC)
224 efi_event.trigger_next += efi_event.trigger_time / 10;
225 if (efi_event.type & (EVT_NOTIFY_WAIT | EVT_NOTIFY_SIGNAL))
226 efi_event.notify_function(&efi_event,
227 efi_event.notify_context);
233 static efi_status_t EFIAPI efi_set_timer(void *event, int type,
234 uint64_t trigger_time)
236 /* We don't have 64bit division available everywhere, so limit timer
237 * distances to 32bit bits. */
238 u32 trigger32 = trigger_time;
240 EFI_ENTRY("%p, %d, %"PRIx64, event, type, trigger_time);
242 if (trigger32 < trigger_time) {
243 printf("WARNING: Truncating timer from %"PRIx64" to %x\n",
244 trigger_time, trigger32);
247 if (event != &efi_event) {
248 /* We only support one event at a time */
249 return EFI_EXIT(EFI_INVALID_PARAMETER);
254 efi_event.trigger_next = -1ULL;
256 case EFI_TIMER_PERIODIC:
257 case EFI_TIMER_RELATIVE:
258 efi_event.trigger_next = timer_get_us() + (trigger32 / 10);
261 return EFI_EXIT(EFI_INVALID_PARAMETER);
263 efi_event.trigger_type = type;
264 efi_event.trigger_time = trigger_time;
266 return EFI_EXIT(EFI_SUCCESS);
269 static efi_status_t EFIAPI efi_wait_for_event(unsigned long num_events,
270 void *event, unsigned long *index)
274 EFI_ENTRY("%ld, %p, %p", num_events, event, index);
276 now = timer_get_us();
277 while (now < efi_event.trigger_next) { }
280 return EFI_EXIT(EFI_SUCCESS);
283 static efi_status_t EFIAPI efi_signal_event(void *event)
285 EFI_ENTRY("%p", event);
286 return EFI_EXIT(EFI_SUCCESS);
289 static efi_status_t EFIAPI efi_close_event(void *event)
291 EFI_ENTRY("%p", event);
292 efi_event.trigger_next = -1ULL;
293 return EFI_EXIT(EFI_SUCCESS);
296 static efi_status_t EFIAPI efi_check_event(void *event)
298 EFI_ENTRY("%p", event);
299 return EFI_EXIT(EFI_NOT_READY);
302 static efi_status_t EFIAPI efi_install_protocol_interface(void **handle,
303 efi_guid_t *protocol, int protocol_interface_type,
304 void *protocol_interface)
306 EFI_ENTRY("%p, %p, %d, %p", handle, protocol, protocol_interface_type,
308 return EFI_EXIT(EFI_OUT_OF_RESOURCES);
310 static efi_status_t EFIAPI efi_reinstall_protocol_interface(void *handle,
311 efi_guid_t *protocol, void *old_interface,
314 EFI_ENTRY("%p, %p, %p, %p", handle, protocol, old_interface,
316 return EFI_EXIT(EFI_ACCESS_DENIED);
319 static efi_status_t EFIAPI efi_uninstall_protocol_interface(void *handle,
320 efi_guid_t *protocol, void *protocol_interface)
322 EFI_ENTRY("%p, %p, %p", handle, protocol, protocol_interface);
323 return EFI_EXIT(EFI_NOT_FOUND);
326 static efi_status_t EFIAPI efi_register_protocol_notify(efi_guid_t *protocol,
330 EFI_ENTRY("%p, %p, %p", protocol, event, registration);
331 return EFI_EXIT(EFI_OUT_OF_RESOURCES);
334 static int efi_search(enum efi_locate_search_type search_type,
335 efi_guid_t *protocol, void *search_key,
336 struct efi_object *efiobj)
340 switch (search_type) {
343 case by_register_notify:
346 for (i = 0; i < ARRAY_SIZE(efiobj->protocols); i++) {
347 const efi_guid_t *guid = efiobj->protocols[i].guid;
348 if (guid && !guidcmp(guid, protocol))
357 static efi_status_t EFIAPI efi_locate_handle(
358 enum efi_locate_search_type search_type,
359 efi_guid_t *protocol, void *search_key,
360 unsigned long *buffer_size, efi_handle_t *buffer)
362 struct list_head *lhandle;
363 unsigned long size = 0;
365 EFI_ENTRY("%d, %p, %p, %p, %p", search_type, protocol, search_key,
366 buffer_size, buffer);
368 /* Count how much space we need */
369 list_for_each(lhandle, &efi_obj_list) {
370 struct efi_object *efiobj;
371 efiobj = list_entry(lhandle, struct efi_object, link);
372 if (!efi_search(search_type, protocol, search_key, efiobj)) {
373 size += sizeof(void*);
377 if (*buffer_size < size) {
379 return EFI_EXIT(EFI_BUFFER_TOO_SMALL);
382 /* Then fill the array */
383 list_for_each(lhandle, &efi_obj_list) {
384 struct efi_object *efiobj;
385 efiobj = list_entry(lhandle, struct efi_object, link);
386 if (!efi_search(search_type, protocol, search_key, efiobj)) {
387 *(buffer++) = efiobj->handle;
392 return EFI_EXIT(EFI_SUCCESS);
395 static efi_status_t EFIAPI efi_locate_device_path(efi_guid_t *protocol,
396 struct efi_device_path **device_path,
397 efi_handle_t *device)
399 EFI_ENTRY("%p, %p, %p", protocol, device_path, device);
400 return EFI_EXIT(EFI_NOT_FOUND);
403 efi_status_t efi_install_configuration_table(const efi_guid_t *guid, void *table)
407 /* Check for guid override */
408 for (i = 0; i < systab.nr_tables; i++) {
409 if (!guidcmp(guid, &efi_conf_table[i].guid)) {
410 efi_conf_table[i].table = table;
415 /* No override, check for overflow */
416 if (i >= ARRAY_SIZE(efi_conf_table))
417 return EFI_OUT_OF_RESOURCES;
419 /* Add a new entry */
420 memcpy(&efi_conf_table[i].guid, guid, sizeof(*guid));
421 efi_conf_table[i].table = table;
422 systab.nr_tables = i + 1;
427 static efi_status_t EFIAPI efi_install_configuration_table_ext(efi_guid_t *guid,
430 EFI_ENTRY("%p, %p", guid, table);
431 return EFI_EXIT(efi_install_configuration_table(guid, table));
434 static efi_status_t EFIAPI efi_load_image(bool boot_policy,
435 efi_handle_t parent_image,
436 struct efi_device_path *file_path,
438 unsigned long source_size,
439 efi_handle_t *image_handle)
441 static struct efi_object loaded_image_info_obj = {
444 .guid = &efi_guid_loaded_image,
448 struct efi_loaded_image *info;
449 struct efi_object *obj;
451 EFI_ENTRY("%d, %p, %p, %p, %ld, %p", boot_policy, parent_image,
452 file_path, source_buffer, source_size, image_handle);
453 info = malloc(sizeof(*info));
454 loaded_image_info_obj.protocols[0].protocol_interface = info;
455 obj = malloc(sizeof(loaded_image_info_obj));
456 memset(info, 0, sizeof(*info));
457 memcpy(obj, &loaded_image_info_obj, sizeof(loaded_image_info_obj));
459 info->file_path = file_path;
460 info->reserved = efi_load_pe(source_buffer, info);
461 if (!info->reserved) {
464 return EFI_EXIT(EFI_UNSUPPORTED);
467 *image_handle = info;
468 list_add_tail(&obj->link, &efi_obj_list);
470 return EFI_EXIT(EFI_SUCCESS);
473 static efi_status_t EFIAPI efi_start_image(efi_handle_t image_handle,
474 unsigned long *exit_data_size,
477 ulong (*entry)(void *image_handle, struct efi_system_table *st);
478 struct efi_loaded_image *info = image_handle;
480 EFI_ENTRY("%p, %p, %p", image_handle, exit_data_size, exit_data);
481 entry = info->reserved;
483 efi_is_direct_boot = false;
485 /* call the image! */
486 if (setjmp(&info->exit_jmp)) {
487 /* We returned from the child image */
488 return EFI_EXIT(info->exit_status);
491 entry(image_handle, &systab);
493 /* Should usually never get here */
494 return EFI_EXIT(EFI_SUCCESS);
497 static efi_status_t EFIAPI efi_exit(efi_handle_t image_handle,
498 efi_status_t exit_status, unsigned long exit_data_size,
501 struct efi_loaded_image *loaded_image_info = (void*)image_handle;
503 EFI_ENTRY("%p, %ld, %ld, %p", image_handle, exit_status,
504 exit_data_size, exit_data);
506 loaded_image_info->exit_status = exit_status;
507 longjmp(&loaded_image_info->exit_jmp, 1);
509 panic("EFI application exited");
512 static struct efi_object *efi_search_obj(void *handle)
514 struct list_head *lhandle;
516 list_for_each(lhandle, &efi_obj_list) {
517 struct efi_object *efiobj;
518 efiobj = list_entry(lhandle, struct efi_object, link);
519 if (efiobj->handle == handle)
526 static efi_status_t EFIAPI efi_unload_image(void *image_handle)
528 struct efi_object *efiobj;
530 EFI_ENTRY("%p", image_handle);
531 efiobj = efi_search_obj(image_handle);
533 list_del(&efiobj->link);
535 return EFI_EXIT(EFI_SUCCESS);
538 static void efi_exit_caches(void)
540 #if defined(CONFIG_ARM) && !defined(CONFIG_ARM64)
542 * Grub on 32bit ARM needs to have caches disabled before jumping into
543 * a zImage, but does not know of all cache layers. Give it a hand.
545 if (efi_is_direct_boot)
546 cleanup_before_linux();
550 static efi_status_t EFIAPI efi_exit_boot_services(void *image_handle,
551 unsigned long map_key)
553 EFI_ENTRY("%p, %ld", image_handle, map_key);
555 board_quiesce_devices();
557 /* Fix up caches for EFI payloads if necessary */
560 /* This stops all lingering devices */
561 bootm_disable_interrupts();
563 /* Give the payload some time to boot */
566 return EFI_EXIT(EFI_SUCCESS);
569 static efi_status_t EFIAPI efi_get_next_monotonic_count(uint64_t *count)
571 static uint64_t mono = 0;
572 EFI_ENTRY("%p", count);
574 return EFI_EXIT(EFI_SUCCESS);
577 static efi_status_t EFIAPI efi_stall(unsigned long microseconds)
579 EFI_ENTRY("%ld", microseconds);
580 udelay(microseconds);
581 return EFI_EXIT(EFI_SUCCESS);
584 static efi_status_t EFIAPI efi_set_watchdog_timer(unsigned long timeout,
585 uint64_t watchdog_code,
586 unsigned long data_size,
587 uint16_t *watchdog_data)
589 EFI_ENTRY("%ld, 0x%"PRIx64", %ld, %p", timeout, watchdog_code,
590 data_size, watchdog_data);
591 return EFI_EXIT(efi_unsupported(__func__));
594 static efi_status_t EFIAPI efi_connect_controller(
595 efi_handle_t controller_handle,
596 efi_handle_t *driver_image_handle,
597 struct efi_device_path *remain_device_path,
600 EFI_ENTRY("%p, %p, %p, %d", controller_handle, driver_image_handle,
601 remain_device_path, recursive);
602 return EFI_EXIT(EFI_NOT_FOUND);
605 static efi_status_t EFIAPI efi_disconnect_controller(void *controller_handle,
606 void *driver_image_handle,
609 EFI_ENTRY("%p, %p, %p", controller_handle, driver_image_handle,
611 return EFI_EXIT(EFI_INVALID_PARAMETER);
614 static efi_status_t EFIAPI efi_close_protocol(void *handle,
615 efi_guid_t *protocol,
617 void *controller_handle)
619 EFI_ENTRY("%p, %p, %p, %p", handle, protocol, agent_handle,
621 return EFI_EXIT(EFI_NOT_FOUND);
624 static efi_status_t EFIAPI efi_open_protocol_information(efi_handle_t handle,
625 efi_guid_t *protocol,
626 struct efi_open_protocol_info_entry **entry_buffer,
627 unsigned long *entry_count)
629 EFI_ENTRY("%p, %p, %p, %p", handle, protocol, entry_buffer,
631 return EFI_EXIT(EFI_NOT_FOUND);
634 static efi_status_t EFIAPI efi_protocols_per_handle(void *handle,
635 efi_guid_t ***protocol_buffer,
636 unsigned long *protocol_buffer_count)
638 EFI_ENTRY("%p, %p, %p", handle, protocol_buffer,
639 protocol_buffer_count);
640 return EFI_EXIT(EFI_OUT_OF_RESOURCES);
643 static efi_status_t EFIAPI efi_locate_handle_buffer(
644 enum efi_locate_search_type search_type,
645 efi_guid_t *protocol, void *search_key,
646 unsigned long *no_handles, efi_handle_t **buffer)
648 EFI_ENTRY("%d, %p, %p, %p, %p", search_type, protocol, search_key,
650 return EFI_EXIT(EFI_NOT_FOUND);
653 static struct efi_class_map efi_class_maps[] = {
655 .guid = &efi_guid_console_control,
656 .interface = &efi_console_control
660 static efi_status_t EFIAPI efi_locate_protocol(efi_guid_t *protocol,
662 void **protocol_interface)
666 EFI_ENTRY("%p, %p, %p", protocol, registration, protocol_interface);
667 for (i = 0; i < ARRAY_SIZE(efi_class_maps); i++) {
668 struct efi_class_map *curmap = &efi_class_maps[i];
669 if (!guidcmp(protocol, curmap->guid)) {
670 *protocol_interface = (void*)curmap->interface;
671 return EFI_EXIT(EFI_SUCCESS);
675 return EFI_EXIT(EFI_NOT_FOUND);
678 static efi_status_t EFIAPI efi_install_multiple_protocol_interfaces(
681 EFI_ENTRY("%p", handle);
682 return EFI_EXIT(EFI_OUT_OF_RESOURCES);
685 static efi_status_t EFIAPI efi_uninstall_multiple_protocol_interfaces(
688 EFI_ENTRY("%p", handle);
689 return EFI_EXIT(EFI_INVALID_PARAMETER);
692 static efi_status_t EFIAPI efi_calculate_crc32(void *data,
693 unsigned long data_size,
696 EFI_ENTRY("%p, %ld", data, data_size);
697 *crc32_p = crc32(0, data, data_size);
698 return EFI_EXIT(EFI_SUCCESS);
701 static void EFIAPI efi_copy_mem(void *destination, void *source,
702 unsigned long length)
704 EFI_ENTRY("%p, %p, %ld", destination, source, length);
705 memcpy(destination, source, length);
708 static void EFIAPI efi_set_mem(void *buffer, unsigned long size, uint8_t value)
710 EFI_ENTRY("%p, %ld, 0x%x", buffer, size, value);
711 memset(buffer, value, size);
714 static efi_status_t EFIAPI efi_open_protocol(
715 void *handle, efi_guid_t *protocol,
716 void **protocol_interface, void *agent_handle,
717 void *controller_handle, uint32_t attributes)
719 struct list_head *lhandle;
721 efi_status_t r = EFI_UNSUPPORTED;
723 EFI_ENTRY("%p, %p, %p, %p, %p, 0x%x", handle, protocol,
724 protocol_interface, agent_handle, controller_handle,
727 if (!protocol_interface && attributes !=
728 EFI_OPEN_PROTOCOL_TEST_PROTOCOL) {
729 r = EFI_INVALID_PARAMETER;
733 list_for_each(lhandle, &efi_obj_list) {
734 struct efi_object *efiobj;
735 efiobj = list_entry(lhandle, struct efi_object, link);
737 if (efiobj->handle != handle)
740 for (i = 0; i < ARRAY_SIZE(efiobj->protocols); i++) {
741 struct efi_handler *handler = &efiobj->protocols[i];
742 const efi_guid_t *hprotocol = handler->guid;
745 if (!guidcmp(hprotocol, protocol)) {
747 EFI_OPEN_PROTOCOL_TEST_PROTOCOL) {
748 *protocol_interface =
749 handler->protocol_interface;
761 static efi_status_t EFIAPI efi_handle_protocol(void *handle,
762 efi_guid_t *protocol,
763 void **protocol_interface)
765 return efi_open_protocol(handle, protocol, protocol_interface, NULL,
766 NULL, EFI_OPEN_PROTOCOL_BY_HANDLE_PROTOCOL);
769 static const struct efi_boot_services efi_boot_services = {
771 .headersize = sizeof(struct efi_table_hdr),
773 .raise_tpl = efi_raise_tpl,
774 .restore_tpl = efi_restore_tpl,
775 .allocate_pages = efi_allocate_pages_ext,
776 .free_pages = efi_free_pages_ext,
777 .get_memory_map = efi_get_memory_map_ext,
778 .allocate_pool = efi_allocate_pool_ext,
779 .free_pool = efi_free_pool_ext,
780 .create_event = efi_create_event,
781 .set_timer = efi_set_timer,
782 .wait_for_event = efi_wait_for_event,
783 .signal_event = efi_signal_event,
784 .close_event = efi_close_event,
785 .check_event = efi_check_event,
786 .install_protocol_interface = efi_install_protocol_interface,
787 .reinstall_protocol_interface = efi_reinstall_protocol_interface,
788 .uninstall_protocol_interface = efi_uninstall_protocol_interface,
789 .handle_protocol = efi_handle_protocol,
791 .register_protocol_notify = efi_register_protocol_notify,
792 .locate_handle = efi_locate_handle,
793 .locate_device_path = efi_locate_device_path,
794 .install_configuration_table = efi_install_configuration_table_ext,
795 .load_image = efi_load_image,
796 .start_image = efi_start_image,
798 .unload_image = efi_unload_image,
799 .exit_boot_services = efi_exit_boot_services,
800 .get_next_monotonic_count = efi_get_next_monotonic_count,
802 .set_watchdog_timer = efi_set_watchdog_timer,
803 .connect_controller = efi_connect_controller,
804 .disconnect_controller = efi_disconnect_controller,
805 .open_protocol = efi_open_protocol,
806 .close_protocol = efi_close_protocol,
807 .open_protocol_information = efi_open_protocol_information,
808 .protocols_per_handle = efi_protocols_per_handle,
809 .locate_handle_buffer = efi_locate_handle_buffer,
810 .locate_protocol = efi_locate_protocol,
811 .install_multiple_protocol_interfaces = efi_install_multiple_protocol_interfaces,
812 .uninstall_multiple_protocol_interfaces = efi_uninstall_multiple_protocol_interfaces,
813 .calculate_crc32 = efi_calculate_crc32,
814 .copy_mem = efi_copy_mem,
815 .set_mem = efi_set_mem,
819 static uint16_t __efi_runtime_data firmware_vendor[] =
820 { 'D','a','s',' ','U','-','b','o','o','t',0 };
822 struct efi_system_table __efi_runtime_data systab = {
824 .signature = EFI_SYSTEM_TABLE_SIGNATURE,
825 .revision = 0x20005, /* 2.5 */
826 .headersize = sizeof(struct efi_table_hdr),
828 .fw_vendor = (long)firmware_vendor,
829 .con_in = (void*)&efi_con_in,
830 .con_out = (void*)&efi_con_out,
831 .std_err = (void*)&efi_con_out,
832 .runtime = (void*)&efi_runtime_services,
833 .boottime = (void*)&efi_boot_services,
835 .tables = (void*)efi_conf_table,