1f4f75ad5SArd Biesheuvel 
2f4f75ad5SArd Biesheuvel #ifndef _DRIVERS_FIRMWARE_EFI_EFISTUB_H
3f4f75ad5SArd Biesheuvel #define _DRIVERS_FIRMWARE_EFI_EFISTUB_H
4f4f75ad5SArd Biesheuvel 
5f4f75ad5SArd Biesheuvel /* error code which can't be mistaken for valid address */
6f4f75ad5SArd Biesheuvel #define EFI_ERROR	(~0UL)
7f4f75ad5SArd Biesheuvel 
8f4f75ad5SArd Biesheuvel void efi_char16_printk(efi_system_table_t *, efi_char16_t *);
9f4f75ad5SArd Biesheuvel 
10f4f75ad5SArd Biesheuvel efi_status_t efi_open_volume(efi_system_table_t *sys_table_arg, void *__image,
11f4f75ad5SArd Biesheuvel 			     void **__fh);
12f4f75ad5SArd Biesheuvel 
13f4f75ad5SArd Biesheuvel efi_status_t efi_file_size(efi_system_table_t *sys_table_arg, void *__fh,
14f4f75ad5SArd Biesheuvel 			   efi_char16_t *filename_16, void **handle,
15f4f75ad5SArd Biesheuvel 			   u64 *file_sz);
16f4f75ad5SArd Biesheuvel 
17f4f75ad5SArd Biesheuvel efi_status_t efi_file_read(void *handle, unsigned long *size, void *addr);
18f4f75ad5SArd Biesheuvel 
19f4f75ad5SArd Biesheuvel efi_status_t efi_file_close(void *handle);
20f4f75ad5SArd Biesheuvel 
21f4f75ad5SArd Biesheuvel unsigned long get_dram_base(efi_system_table_t *sys_table_arg);
22f4f75ad5SArd Biesheuvel 
23f4f75ad5SArd Biesheuvel efi_status_t update_fdt(efi_system_table_t *sys_table, void *orig_fdt,
24f4f75ad5SArd Biesheuvel 			unsigned long orig_fdt_size,
25f4f75ad5SArd Biesheuvel 			void *fdt, int new_fdt_size, char *cmdline_ptr,
26f4f75ad5SArd Biesheuvel 			u64 initrd_addr, u64 initrd_size,
27f4f75ad5SArd Biesheuvel 			efi_memory_desc_t *memory_map,
28f4f75ad5SArd Biesheuvel 			unsigned long map_size, unsigned long desc_size,
29f4f75ad5SArd Biesheuvel 			u32 desc_ver);
30f4f75ad5SArd Biesheuvel 
31f4f75ad5SArd Biesheuvel efi_status_t allocate_new_fdt_and_exit_boot(efi_system_table_t *sys_table,
32f4f75ad5SArd Biesheuvel 					    void *handle,
33f4f75ad5SArd Biesheuvel 					    unsigned long *new_fdt_addr,
34f4f75ad5SArd Biesheuvel 					    unsigned long max_addr,
35f4f75ad5SArd Biesheuvel 					    u64 initrd_addr, u64 initrd_size,
36f4f75ad5SArd Biesheuvel 					    char *cmdline_ptr,
37f4f75ad5SArd Biesheuvel 					    unsigned long fdt_addr,
38f4f75ad5SArd Biesheuvel 					    unsigned long fdt_size);
39f4f75ad5SArd Biesheuvel 
40f4f75ad5SArd Biesheuvel void *get_fdt(efi_system_table_t *sys_table);
41f4f75ad5SArd Biesheuvel 
42f4f75ad5SArd Biesheuvel #endif
43