handle_kernel_image  190 drivers/firmware/efi/libstub/arm32-stub.c efi_status_t handle_kernel_image(efi_system_table_t *sys_table,
handle_kernel_image   43 drivers/firmware/efi/libstub/arm64-stub.c efi_status_t handle_kernel_image(efi_system_table_t *sys_table_arg,