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