blob: cb7981e0306022e190aa85ea870f07f11e03cd10 (
plain)
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
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
|
// SPDX-License-Identifier: GPL-2.0-only
#ifdef CONFIG_DEBUG_LL
#define DEBUG
#endif
#include <linux/kernel.h>
#include <linux/sizes.h>
#include <efi.h>
#include <efi/efi-payload.h>
#include <memory.h>
#include <common.h>
/**
* efi-main - Entry point for EFI images
*/
void efi_main(efi_handle_t image, struct efi_system_table *sys_table)
{
efi_status_t efiret;
size_t memsize;
efi_physical_addr_t mem;
#ifdef DEBUG
sys_table->con_out->output_string(sys_table->con_out, L"barebox\n");
#endif
BS = sys_table->boottime;
efi_parent_image = image;
efi_sys_table = sys_table;
RT = sys_table->runtime;
efiret = BS->open_protocol(efi_parent_image, &efi_loaded_image_protocol_guid,
(void **)&efi_loaded_image,
efi_parent_image, NULL, EFI_OPEN_PROTOCOL_GET_PROTOCOL);
if (!EFI_ERROR(efiret))
BS->handle_protocol(efi_loaded_image->device_handle,
&efi_device_path_protocol_guid, (void **)&efi_device_path);
mem = efi_earlymem_alloc(sys_table, &memsize);
mem_malloc_init((void *)mem, (void *)mem + memsize - 1);
start_barebox();
}
|
