efi_free          484 arch/x86/boot/compressed/eboot.c 	efi_free(sys_table, options_size, hdr->cmd_line_ptr);
efi_free          486 arch/x86/boot/compressed/eboot.c 	efi_free(sys_table, 0x4000, (unsigned long)boot_params);
efi_free          278 drivers/firmware/efi/libstub/arm-stub.c 	efi_free(sys_table, initrd_size, initrd_addr);
efi_free          279 drivers/firmware/efi/libstub/arm-stub.c 	efi_free(sys_table, fdt_size, fdt_addr);
efi_free          282 drivers/firmware/efi/libstub/arm-stub.c 	efi_free(sys_table, image_size, *image_addr);
efi_free          283 drivers/firmware/efi/libstub/arm-stub.c 	efi_free(sys_table, reserve_size, reserve_addr);
efi_free          286 drivers/firmware/efi/libstub/arm-stub.c 	efi_free(sys_table, cmdline_size, (unsigned long)cmdline_ptr);
efi_free          236 drivers/firmware/efi/libstub/arm32-stub.c 		efi_free(sys_table, *reserve_size, *reserve_addr);
efi_free          248 drivers/firmware/efi/libstub/arm32-stub.c 		efi_free(sys_table, *reserve_size, *reserve_addr);
efi_free          250 drivers/firmware/efi/libstub/arm32-stub.c 		efi_free(sys_table, *image_size, *image_addr);
efi_free          668 drivers/firmware/efi/libstub/efi-stub-helper.c 	efi_free(sys_table_arg, file_size_total, file_addr);
efi_free          356 drivers/firmware/efi/libstub/fdt.c 	efi_free(sys_table, MAX_FDT_SIZE, *new_fdt_addr);
efi_free         1573 include/linux/efi.h void efi_free(efi_system_table_t *sys_table_arg, unsigned long size,