Searched refs:efi_free (Results 1 – 6 of 6) sorted by relevance
| /Linux-v4.19/drivers/firmware/efi/libstub/ |
| D | arm-stub.c | 254 efi_free(sys_table, initrd_size, initrd_addr); in efi_entry()
255 efi_free(sys_table, fdt_size, fdt_addr); in efi_entry()
258 efi_free(sys_table, image_size, *image_addr); in efi_entry()
259 efi_free(sys_table, reserve_size, reserve_addr); in efi_entry()
262 efi_free(sys_table, cmdline_size, (unsigned long)cmdline_ptr); in efi_entry()
|
| D | arm32-stub.c | 230 efi_free(sys_table, *reserve_size, *reserve_addr); in handle_kernel_image()
242 efi_free(sys_table, *reserve_size, *reserve_addr); in handle_kernel_image()
244 efi_free(sys_table, *image_size, *image_addr); in handle_kernel_image()
|
| D | efi-stub-helper.c | 341 void efi_free(efi_system_table_t *sys_table_arg, unsigned long size, in efi_free() function
666 efi_free(sys_table_arg, file_size_total, file_addr); in handle_cmdline_files()
|
| D | fdt.c | 358 efi_free(sys_table, MAX_FDT_SIZE, *new_fdt_addr); in allocate_new_fdt_and_exit_boot()
|
| /Linux-v4.19/arch/x86/boot/compressed/ |
| D | eboot.c | 487 efi_free(sys_table, options_size, hdr->cmd_line_ptr); in make_boot_params()
489 efi_free(sys_table, 0x4000, (unsigned long)boot_params); in make_boot_params()
|
| /Linux-v4.19/include/linux/ |
| D | efi.h | 1530 void efi_free(efi_system_table_t *sys_table_arg, unsigned long size,
|
