• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1 
2 #ifndef _DRIVERS_FIRMWARE_EFI_EFISTUB_H
3 #define _DRIVERS_FIRMWARE_EFI_EFISTUB_H
4 
5 /* error code which can't be mistaken for valid address */
6 #define EFI_ERROR	(~0UL)
7 
8 extern int __pure nokaslr(void);
9 
10 void efi_char16_printk(efi_system_table_t *, efi_char16_t *);
11 
12 efi_status_t efi_open_volume(efi_system_table_t *sys_table_arg, void *__image,
13 			     void **__fh);
14 
15 efi_status_t efi_file_size(efi_system_table_t *sys_table_arg, void *__fh,
16 			   efi_char16_t *filename_16, void **handle,
17 			   u64 *file_sz);
18 
19 efi_status_t efi_file_read(void *handle, unsigned long *size, void *addr);
20 
21 efi_status_t efi_file_close(void *handle);
22 
23 unsigned long get_dram_base(efi_system_table_t *sys_table_arg);
24 
25 efi_status_t update_fdt(efi_system_table_t *sys_table, void *orig_fdt,
26 			unsigned long orig_fdt_size,
27 			void *fdt, int new_fdt_size, char *cmdline_ptr,
28 			u64 initrd_addr, u64 initrd_size,
29 			efi_memory_desc_t *memory_map,
30 			unsigned long map_size, unsigned long desc_size,
31 			u32 desc_ver);
32 
33 efi_status_t allocate_new_fdt_and_exit_boot(efi_system_table_t *sys_table,
34 					    void *handle,
35 					    unsigned long *new_fdt_addr,
36 					    unsigned long max_addr,
37 					    u64 initrd_addr, u64 initrd_size,
38 					    char *cmdline_ptr,
39 					    unsigned long fdt_addr,
40 					    unsigned long fdt_size);
41 
42 void *get_fdt(efi_system_table_t *sys_table, unsigned long *fdt_size);
43 
44 void efi_get_virtmap(efi_memory_desc_t *memory_map, unsigned long map_size,
45 		     unsigned long desc_size, efi_memory_desc_t *runtime_map,
46 		     int *count);
47 
48 efi_status_t efi_get_random_bytes(efi_system_table_t *sys_table,
49 				  unsigned long size, u8 *out);
50 
51 efi_status_t efi_random_alloc(efi_system_table_t *sys_table_arg,
52 			      unsigned long size, unsigned long align,
53 			      unsigned long *addr, unsigned long random_seed);
54 
55 #endif
56