1 /* SPDX-License-Identifier: GPL-2.0-only */
7 #include <device/device.h>
9 void SIL_STATUS_report(const char *function
, const int status
);
10 // Add the memory map to dev, starting at index idx, returns last use idx
11 void add_opensil_memmap(struct device
*dev
, unsigned long *idx
);
12 // Fill in FADT from openSIL
13 void opensil_fill_fadt_io_ports(acpi_fadt_t
*fadt
);
15 void configure_mpio(void);
17 void setup_opensil(void);
18 void opensil_xSIM_timepoint_1(void);
19 void opensil_xSIM_timepoint_2(void);
20 void opensil_xSIM_timepoint_3(void);