Zephyr API Documentation
4.0.0-rc2
A Scalable Open Source RTOS
Loading...
Searching...
No Matches
efi.h
Go to the documentation of this file.
1
/*
2
* Copyright (c) 2020 Intel Corporation
3
*
4
* SPDX-License-Identifier: Apache-2.0
5
*/
6
7
#ifndef ZEPHYR_ARCH_X86_INCLUDE_EFI_H_
8
#define ZEPHYR_ARCH_X86_INCLUDE_EFI_H_
9
10
/* Boot type value (see prep_c.c) */
11
#define EFI_BOOT_TYPE 2
12
13
#ifndef _ASMLANGUAGE
14
15
struct
efi_boot_arg
{
16
void
*
efi_systab
;
/* EFI system table */
17
unsigned
long
long
efi_cr3
;
/* EFI page table */
18
void
*
acpi_rsdp
;
19
};
20
21
#if defined(CONFIG_X86_EFI)
22
27
void
efi_init
(
struct
efi_boot_arg
*efi_arg);
28
33
void
*
efi_get_acpi_rsdp
(
void
);
34
35
#else
/* CONFIG_X86_EFI */
36
37
#define efi_init(...)
38
#define efi_get_acpi_rsdp(...) NULL
39
40
#endif
/* CONFIG_X86_EFI */
41
42
#endif
/* _ASMLANGUAGE */
43
44
#endif
/* ZEPHYR_ARCH_X86_INCLUDE_EFI_H_ */
efi_init
#define efi_init(...)
Definition
efi.h:37
efi_get_acpi_rsdp
#define efi_get_acpi_rsdp(...)
Definition
efi.h:38
efi_boot_arg
Definition
efi.h:15
efi_boot_arg::efi_systab
void * efi_systab
Definition
efi.h:16
efi_boot_arg::efi_cr3
unsigned long long efi_cr3
Definition
efi.h:17
efi_boot_arg::acpi_rsdp
void * acpi_rsdp
Definition
efi.h:18
zephyr
arch
x86
efi.h
Generated on Fri Nov 8 2024 18:02:18 for Zephyr API Documentation by
1.12.0