handle_kernel_image  100 drivers/firmware/efi/libstub/arm-stub.c efi_status_t handle_kernel_image(efi_system_table_t *sys_table,
handle_kernel_image  183 drivers/firmware/efi/libstub/arm-stub.c 	status = handle_kernel_image(sys_table, image_addr, &image_size,