efistub.h 1.3 KB

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