/*
 * 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)

/** @brief Initialize usage of EFI gathered information
 *
 * @param efi_arg The given pointer to EFI prepared boot argument
 */
void efi_init(struct efi_boot_arg *efi_arg);

/** @brief Get the ACPI RSDP table pointer from EFI boot argument
 *
 * @return A valid pointer to ACPI RSDP table or NULL otherwise.
 */
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_ */