464 	ACPI_TABLE_FADT fadt;  in build_fadt()  local
470 	memset(&fadt, 0, sizeof(fadt));  in build_fadt()
472 	fadt.Facs = htole32(0); /* patched by basl */  in build_fadt()
473 	fadt.Dsdt = htole32(0); /* patched by basl */  in build_fadt()
474 	fadt.SciInterrupt = htole16(SCI_INT);  in build_fadt()
475 	fadt.SmiCommand = htole32(SMI_CMD);  in build_fadt()
476 	fadt.AcpiEnable = BHYVE_ACPI_ENABLE;  in build_fadt()
477 	fadt.AcpiDisable = BHYVE_ACPI_DISABLE;  in build_fadt()
478 	fadt.Pm1aEventBlock = htole32(PM1A_EVT_ADDR);  in build_fadt()
479 	fadt.Pm1aControlBlock = htole32(PM1A_CNT_ADDR);  in build_fadt()
480 	fadt.PmTimerBlock = htole32(IO_PMTMR);  in build_fadt()
481 	fadt.Gpe0Block = htole32(IO_GPE0_BLK);  in build_fadt()
482 	fadt.Pm1EventLength = 4;  in build_fadt()
483 	fadt.Pm1ControlLength = 2;  in build_fadt()
484 	fadt.PmTimerLength = 4;  in build_fadt()
485 	fadt.Gpe0BlockLength = IO_GPE0_LEN;  in build_fadt()
486 	fadt.Century = 0x32;  in build_fadt()
487 	fadt.BootFlags = htole16(ACPI_FADT_NO_VGA | ACPI_FADT_NO_ASPM);  in build_fadt()
488 	fadt.Flags = htole32(ACPI_FADT_WBINVD | ACPI_FADT_C1_SUPPORTED |  in build_fadt()
492 	basl_fill_gas(&fadt.ResetRegister, ACPI_ADR_SPACE_SYSTEM_IO, 8, 0,  in build_fadt()
494 	fadt.ResetValue = 6;  in build_fadt()
495 	fadt.MinorRevision = 1;  in build_fadt()
496 	fadt.XFacs = htole64(0); /* patched by basl */  in build_fadt()
497 	fadt.XDsdt = htole64(0); /* patched by basl */  in build_fadt()
498 	basl_fill_gas(&fadt.XPm1aEventBlock, ACPI_ADR_SPACE_SYSTEM_IO, 0x20, 0,  in build_fadt()
500 	basl_fill_gas(&fadt.XPm1bEventBlock, ACPI_ADR_SPACE_SYSTEM_IO, 0, 0,  in build_fadt()
502 	basl_fill_gas(&fadt.XPm1aControlBlock, ACPI_ADR_SPACE_SYSTEM_IO, 0x10,  in build_fadt()
504 	basl_fill_gas(&fadt.XPm1bControlBlock, ACPI_ADR_SPACE_SYSTEM_IO, 0, 0,  in build_fadt()
506 	basl_fill_gas(&fadt.XPm2ControlBlock, ACPI_ADR_SPACE_SYSTEM_IO, 8, 0,  in build_fadt()
508 	basl_fill_gas(&fadt.XPmTimerBlock, ACPI_ADR_SPACE_SYSTEM_IO, 0x20, 0,  in build_fadt()
510 	basl_fill_gas(&fadt.XGpe0Block, ACPI_ADR_SPACE_SYSTEM_IO,  in build_fadt()
512 	basl_fill_gas(&fadt.XGpe1Block, ACPI_ADR_SPACE_SYSTEM_IO, 0, 0,  in build_fadt()
514 	basl_fill_gas(&fadt.SleepControl, ACPI_ADR_SPACE_SYSTEM_IO, 8, 0,  in build_fadt()
516 	basl_fill_gas(&fadt.SleepStatus, ACPI_ADR_SPACE_SYSTEM_IO, 8, 0,  in build_fadt()
518 	BASL_EXEC(basl_table_append_content(table, &fadt, sizeof(fadt)));  in build_fadt()
521 	    offsetof(ACPI_TABLE_FADT, Facs), sizeof(fadt.Facs)));  in build_fadt()
523 	    offsetof(ACPI_TABLE_FADT, Dsdt), sizeof(fadt.Dsdt)));  in build_fadt()
525 	    offsetof(ACPI_TABLE_FADT, XFacs), sizeof(fadt.XFacs)));  in build_fadt()
527 	    offsetof(ACPI_TABLE_FADT, XDsdt), sizeof(fadt.XDsdt)));  in build_fadt()