efi.h

Go to the documentation of this file.

/*
 * Copyright (c) 2020 Intel Corporation
 *
 * SPDX-License-Identifier: Apache-2.0
 */
 
#ifndef ZEPHYR_ARCH_X86_INCLUDE_EFI_H_
#define ZEPHYR_ARCH_X86_INCLUDE_EFI_H_
 
/* Boot type value (see prep_c.c) */
#define EFI_BOOT_TYPE 2
 
#ifndef _ASMLANGUAGE
 
struct efi_boot_arg {
        void *efi_systab;           /* EFI system table */
        unsigned long long efi_cr3; /* EFI page table */
        void *acpi_rsdp;
};
 
#if defined(CONFIG_X86_EFI)
 
void efi_init(struct efi_boot_arg *efi_arg);
 
void *efi_get_acpi_rsdp(void);
 
#else /* CONFIG_X86_EFI */
 
#define efi_init(...)
#define efi_get_acpi_rsdp(...) NULL
 
#endif /* CONFIG_X86_EFI */
 
#endif /* _ASMLANGUAGE */
 
#endif /* ZEPHYR_ARCH_X86_INCLUDE_EFI_H_ */