/* SPDX-License-Identifier: GPL-2.0-only */

#ifndef _OPENSIL_H_
#define _OPENSIL_H_

#include <acpi/acpi.h>
#include <device/device.h>
#include <types.h>

void SIL_STATUS_report(const char *function, const int status);

void opensil_get_hole_info(uint32_t *n_holes, uint64_t *top_of_mem, void **hole_info);
const char *opensil_get_hole_info_type(uint32_t type);

void opensil_fill_fadt(acpi_fadt_t *fadt);
unsigned long add_opensil_acpi_table(unsigned long current, acpi_rsdp_t *rsdp);

uintptr_t opensil_get_low_usable_dram_address(void);

void setup_opensil(void);
void opensil_xSIM_timepoint_1(void);
void opensil_xSIM_timepoint_2(void);
void opensil_xSIM_timepoint_3(void);

void opensil_mpio_global_config(void);
void opensil_mpio_per_device_config(struct device *dev);

#endif