2 * SPDX-License-Identifier: BSD-2-Clause
4 * Copyright (c) 2022 Beckhoff Automation GmbH & Co. KG
9 #include <contrib/dev/acpica/include/acpi.h>
11 #define BHYVE_ACPI_BASE 0xf2400
13 #define BASL_TABLE_ALIGNMENT 0x10
14 #define BASL_TABLE_ALIGNMENT_FACS 0x40
16 #define BASL_EXEC(x) \
18 const int error = (x); \
21 "BASL failed @ %s:%d\n Failed to execute %s", \
22 __func__, __LINE__, #x); \
27 #define QEMU_FWCFG_MAX_NAME 56
31 int basl_finish(void);
33 int basl_table_append_bytes(struct basl_table *table, const void *bytes,
35 int basl_table_create(struct basl_table **table, struct vmctx *ctx,
36 const uint8_t *name, uint32_t alignment, uint32_t off);