| /* SPDX-License-Identifier: GPL-2.0-only */ |
| |
| #ifndef _OPENSIL_H_ |
| #define _OPENSIL_H_ |
| |
| #include <acpi/acpi.h> |
| #include <xSIM-api.h> |
| |
| void SIL_STATUS_report(const char *function, const int status); |
| // Add the memory map to dev, starting at index idx, returns last use idx |
| unsigned long add_opensil_memmap(struct device *dev, unsigned long idx); |
| // Fill in FADT from openSIL |
| void opensil_fill_fadt_io_ports(acpi_fadt_t *fadt); |
| |
| void configure_mpio(void); |
| |
| void setup_opensil(void); |
| void opensil_entry(SIL_TIMEPOINT timepoint); |
| |
| #endif |