efi_remap_image
efi_remap_image(image_base, alloc_size, code_size);
void efi_remap_image(unsigned long image_base, unsigned alloc_size,
efi_remap_image(*image_addr, *reserve_size, kernel_codesize);