Lines Matching refs:basl_acpi_base
113 static uint32_t basl_acpi_base = BHYVE_ACPI_BASE;
153 basl_acpi_base + RSDT_OFFSET);
156 basl_acpi_base + XSDT_OFFSET);
188 basl_acpi_base + MADT_OFFSET);
190 basl_acpi_base + FADT_OFFSET);
192 basl_acpi_base + HPET_OFFSET);
194 basl_acpi_base + MCFG_OFFSET);
224 basl_acpi_base + MADT_OFFSET);
226 basl_acpi_base + FADT_OFFSET);
228 basl_acpi_base + HPET_OFFSET);
230 basl_acpi_base + MCFG_OFFSET);
347 basl_acpi_base + FACS_OFFSET);
349 basl_acpi_base + DSDT_OFFSET);
438 basl_acpi_base + FACS_OFFSET);
440 basl_acpi_base + DSDT_OFFSET);
846 gaddr = paddr_guest2host(ctx, basl_acpi_base + off, sb.st_size);