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