efi_free
efi_free(image_size, image_addr);
efi_free(reserve_size, reserve_addr);
efi_free(initrd->size, initrd->base);
efi_free(initrd.size, initrd.base);
void efi_free(unsigned long size, unsigned long addr);
efi_free(MAX_FDT_SIZE, *new_fdt_addr);
efi_free(fdt_size, fdt_addr);
efi_free(alloc_size, old_addr);
efi_free(alloc_size, alloc_addr);
efi_free(PARAM_SIZE, alloc);
efi_free(alloc_size, addr);
efi_free(zlib_inflate_workspacesize(), (unsigned long)stream.workspace);
efi_free(zlib_inflate_workspacesize(), (unsigned long)stream.workspace);
efi_free(wksp_size, (unsigned long)wksp);
efi_free(alloc_size, image_base);