Searched refs:efi_free (Results 1 - 5 of 5) sorted by relevance
/linux-4.1.27/drivers/firmware/efi/libstub/ |
H A D | arm-stub.c | 286 efi_free(sys_table, initrd_size, initrd_addr); efi_entry() 287 efi_free(sys_table, fdt_size, fdt_addr); efi_entry() 290 efi_free(sys_table, cmdline_size, (unsigned long)cmdline_ptr); efi_entry() 293 efi_free(sys_table, image_size, *image_addr); efi_entry() 294 efi_free(sys_table, reserve_size, reserve_addr); efi_entry()
|
H A D | fdt.c | 261 efi_free(sys_table, new_fdt_size, *new_fdt_addr); allocate_new_fdt_and_exit_boot() 319 efi_free(sys_table, new_fdt_size, *new_fdt_addr); allocate_new_fdt_and_exit_boot()
|
H A D | efi-stub-helper.c | 296 void efi_free(efi_system_table_t *sys_table_arg, unsigned long size, efi_free() function 522 efi_free(sys_table_arg, file_size_total, file_addr); handle_cmdline_files()
|
/linux-4.1.27/arch/x86/boot/compressed/ |
H A D | eboot.c | 1154 efi_free(sys_table, options_size, hdr->cmd_line_ptr); make_boot_params() 1156 efi_free(sys_table, 0x4000, (unsigned long)boot_params); make_boot_params()
|
/linux-4.1.27/include/linux/ |
H A D | efi.h | 1219 void efi_free(efi_system_table_t *sys_table_arg, unsigned long size,
|
Completed in 367 milliseconds