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
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