171 static unsigned long EFIAPI efi_raise_tpl(UINTN new_tpl)  in efi_raise_tpl()
177 static void EFIAPI efi_restore_tpl(UINTN old_tpl)  in efi_restore_tpl()
183 static efi_status_t EFIAPI efi_allocate_pages_ext(int type, int memory_type,  in efi_allocate_pages_ext()
194 static efi_status_t EFIAPI efi_free_pages_ext(uint64_t memory,  in efi_free_pages_ext()
204 static efi_status_t EFIAPI efi_get_memory_map_ext(  in efi_get_memory_map_ext()
220 static efi_status_t EFIAPI efi_allocate_pool_ext(int pool_type,  in efi_allocate_pool_ext()
231 static efi_status_t EFIAPI efi_free_pool_ext(void *buffer)  in efi_free_pool_ext()
247 			      void (EFIAPI *notify_function) (  in efi_create_event()
280 static efi_status_t EFIAPI efi_create_event_ext(  in efi_create_event_ext()
282 			void (EFIAPI *notify_function) (  in efi_create_event_ext()
355 static efi_status_t EFIAPI efi_set_timer_ext(struct efi_event *event,  in efi_set_timer_ext()
363 static efi_status_t EFIAPI efi_wait_for_event(unsigned long num_events,  in efi_wait_for_event()
407 static efi_status_t EFIAPI efi_signal_event_ext(struct efi_event *event)  in efi_signal_event_ext()
421 static efi_status_t EFIAPI efi_close_event(struct efi_event *event)  in efi_close_event()
437 static efi_status_t EFIAPI efi_check_event(struct efi_event *event)  in efi_check_event()
455 static efi_status_t EFIAPI efi_install_protocol_interface(void **handle,  in efi_install_protocol_interface()
512 static efi_status_t EFIAPI efi_install_protocol_interface_ext(void **handle,  in efi_install_protocol_interface_ext()
524 static efi_status_t EFIAPI efi_reinstall_protocol_interface(void *handle,  in efi_reinstall_protocol_interface()
533 static efi_status_t EFIAPI efi_uninstall_protocol_interface(void *handle,  in efi_uninstall_protocol_interface()
574 static efi_status_t EFIAPI efi_uninstall_protocol_interface_ext(void *handle,  in efi_uninstall_protocol_interface_ext()
583 static efi_status_t EFIAPI efi_register_protocol_notify(efi_guid_t *protocol,  in efi_register_protocol_notify()
652 static efi_status_t EFIAPI efi_locate_handle_ext(  in efi_locate_handle_ext()
664 static efi_status_t EFIAPI efi_locate_device_path(efi_guid_t *protocol,  in efi_locate_device_path()
722 static efi_status_t EFIAPI efi_install_configuration_table_ext(efi_guid_t *guid,  in efi_install_configuration_table_ext()
765 static efi_status_t EFIAPI efi_load_image(bool boot_policy,  in efi_load_image()
804 static efi_status_t EFIAPI efi_start_image(efi_handle_t image_handle,  in efi_start_image()
832 static efi_status_t EFIAPI efi_exit(efi_handle_t image_handle,  in efi_exit()
861 static efi_status_t EFIAPI efi_unload_image(void *image_handle)  in efi_unload_image()
885 static efi_status_t EFIAPI efi_exit_boot_services(void *image_handle,  in efi_exit_boot_services()
904 static efi_status_t EFIAPI efi_get_next_monotonic_count(uint64_t *count)  in efi_get_next_monotonic_count()
912 static efi_status_t EFIAPI efi_stall(unsigned long microseconds)  in efi_stall()
919 static efi_status_t EFIAPI efi_set_watchdog_timer(unsigned long timeout,  in efi_set_watchdog_timer()
929 static efi_status_t EFIAPI efi_connect_controller(  in efi_connect_controller()
940 static efi_status_t EFIAPI efi_disconnect_controller(void *controller_handle,  in efi_disconnect_controller()
949 static efi_status_t EFIAPI efi_close_protocol(void *handle,  in efi_close_protocol()
959 static efi_status_t EFIAPI efi_open_protocol_information(efi_handle_t handle,  in efi_open_protocol_information()
969 static efi_status_t EFIAPI efi_protocols_per_handle(void *handle,  in efi_protocols_per_handle()
1022 static efi_status_t EFIAPI efi_locate_handle_buffer(  in efi_locate_handle_buffer()
1055 static efi_status_t EFIAPI efi_locate_protocol(efi_guid_t *protocol,  in efi_locate_protocol()
1088 static efi_status_t EFIAPI efi_install_multiple_protocol_interfaces(  in efi_install_multiple_protocol_interfaces()
1132 static efi_status_t EFIAPI efi_uninstall_multiple_protocol_interfaces(  in efi_uninstall_multiple_protocol_interfaces()
1139 static efi_status_t EFIAPI efi_calculate_crc32(void *data,  in efi_calculate_crc32()
1148 static void EFIAPI efi_copy_mem(void *destination, void *source,  in efi_copy_mem()
1155 static void EFIAPI efi_set_mem(void *buffer, unsigned long size, uint8_t value)  in efi_set_mem()
1161 static efi_status_t EFIAPI efi_open_protocol(  in efi_open_protocol()
1231 static efi_status_t EFIAPI efi_handle_protocol(void *handle,  in efi_handle_protocol()