1/* SPDX-License-Identifier: GPL-2.0-only */2 3unsigned long kernel_entry_address(unsigned long kernel_addr,4 efi_loaded_image_t *image);5
