Open Menu / lib / efi_client / efi_main.c
Loading...
 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
// SPDX-License-Identifier: GPL-2.0+
/*
 * EFI application entry point
 *
 * This file provides the efi_main() entry point function called by EFI firmware.
 * It is separate from the library so applications can provide their own efi_main().
 */

#include <efi.h>
#include <efi_api.h>
#include <init.h>

efi_status_t EFIAPI efi_main(efi_handle_t image,
			     struct efi_system_table *sys_table)
{
	efi_status_t ret;

	ret = efi_startup(image, sys_table, ulib_has_main());
	if (ret)
		return ret;

	efi_shutdown();

	return EFI_SUCCESS;
}