Searched refs:efi_free (Results 1 – 6 of 6) sorted by relevance
| /Linux-v5.4/drivers/firmware/efi/libstub/ |
| D | arm-stub.c | 278 efi_free(sys_table, initrd_size, initrd_addr); in efi_entry()
279 efi_free(sys_table, fdt_size, fdt_addr); in efi_entry()
282 efi_free(sys_table, image_size, *image_addr); in efi_entry()
283 efi_free(sys_table, reserve_size, reserve_addr); in efi_entry()
286 efi_free(sys_table, cmdline_size, (unsigned long)cmdline_ptr); in efi_entry()
|
| D | arm32-stub.c | 236 efi_free(sys_table, *reserve_size, *reserve_addr); in handle_kernel_image()
248 efi_free(sys_table, *reserve_size, *reserve_addr); in handle_kernel_image()
250 efi_free(sys_table, *image_size, *image_addr); in handle_kernel_image()
|
| D | fdt.c | 356 efi_free(sys_table, MAX_FDT_SIZE, *new_fdt_addr); in allocate_new_fdt_and_exit_boot()
|
| D | efi-stub-helper.c | 338 void efi_free(efi_system_table_t *sys_table_arg, unsigned long size, in efi_free() function
668 efi_free(sys_table_arg, file_size_total, file_addr); in handle_cmdline_files()
|
| /Linux-v5.4/arch/x86/boot/compressed/ |
| D | eboot.c | 484 efi_free(sys_table, options_size, hdr->cmd_line_ptr); in make_boot_params()
486 efi_free(sys_table, 0x4000, (unsigned long)boot_params); in make_boot_params()
|
| /Linux-v5.4/include/linux/ |
| D | efi.h | 1573 void efi_free(efi_system_table_t *sys_table_arg, unsigned long size,
|
