PRINTFLAG
PRINTFLAG(wddt->Status, AVAILABLE);
PRINTFLAG(wddt->Status, ACTIVE);
PRINTFLAG(wddt->Status, TCO_OS_OWNED);
PRINTFLAG(wddt->Status, USER_RESET);
PRINTFLAG(wddt->Status, WDT_RESET);
PRINTFLAG(wddt->Status, POWER_FAIL);
PRINTFLAG(wddt->Status, UNKNOWN_RESET);
PRINTFLAG(wddt->Capability, AUTO_RESET);
PRINTFLAG(wddt->Capability, ALERT_SUPPORT);
PRINTFLAG(lpit->Flags, STATE_DISABLED);
PRINTFLAG(drhd->Flags, INCLUDE_ALL);
PRINTFLAG(atsr->Flags, ALL_PORTS);
PRINTFLAG(dmar->Flags, INTR_REMAP);
PRINTFLAG(dmar->Flags, X2APIC_OPT_OUT);
PRINTFLAG(ACPI_IVHD_TT_ENABLE, HtTunEn);
PRINTFLAG(ACPI_IVHD_ISOC, PassPW);
PRINTFLAG(ACPI_IVHD_RES_PASS_PW, ResPassPW);
PRINTFLAG(ACPI_IVHD_ISOC, Isoc);
PRINTFLAG(ACPI_IVHD_TT_ENABLE, IotlbSup);
PRINTFLAG((1 << 5), Coherent);
PRINTFLAG((1 << 6), PreFSup);
PRINTFLAG((1 << 7), PPRSup);
PRINTFLAG(ACPI_IVHD_INIT_PASS, INITPass);
PRINTFLAG(ACPI_IVHD_EINT_PASS, EIntPass);
PRINTFLAG(ACPI_IVHD_NMI_PASS, NMIPass);
PRINTFLAG(ACPI_IVHD_SYSTEM_MGMT, SysMgtPass);
PRINTFLAG(ACPI_IVHD_LINT0_PASS, Lint0Pass);
PRINTFLAG(ACPI_IVHD_LINT1_PASS, Lint1Pass);
PRINTFLAG(ACPI_IVHD_ATS_DISABLED, AtsDisabled);
PRINTFLAG(1 << 7, HESup);
PRINTFLAG(1 << 6, GASup);
PRINTFLAG(1 << 5, UASup);
PRINTFLAG(1 << 1, NXSup);
PRINTFLAG(1 << 0, XTSup);
PRINTFLAG(ACPI_IVMD_EXCLUSION_RANGE, ExclusionRange);
PRINTFLAG(ACPI_IVMD_WRITE, IW);
PRINTFLAG(ACPI_IVMD_READ, IR);
PRINTFLAG(ACPI_IVMD_UNITY, Unity);
PRINTFLAG(sysaddr->Flags, ADD_ONLINE_ONLY);
PRINTFLAG(sysaddr->Flags, PROXIMITY_VALID);
PRINTFLAG(mmap->Flags, SAVE_FAILED);
PRINTFLAG(mmap->Flags, RESTORE_FAILED);
PRINTFLAG(mmap->Flags, FLUSH_FAILED);
PRINTFLAG(mmap->Flags, NOT_ARMED);
PRINTFLAG(mmap->Flags, HEALTH_OBSERVED);
PRINTFLAG(mmap->Flags, HEALTH_ENABLED);
PRINTFLAG(mmap->Flags, MAP_FAILED);
PRINTFLAG(ctlreg->Flags, CONTROL_BUFFERED);
PRINTFLAG(caps->Capabilities, CACHE_FLUSH);
PRINTFLAG(caps->Capabilities, MEM_FLUSH);
PRINTFLAG(caps->Capabilities, MEM_MIRRORING);
PRINTFLAG(fadt->BootFlags, LEGACY_DEVICES);
PRINTFLAG(fadt->BootFlags, 8042);
PRINTFLAG(fadt->BootFlags, NO_VGA);
PRINTFLAG(fadt->BootFlags, NO_MSI);
PRINTFLAG(fadt->BootFlags, NO_ASPM);
PRINTFLAG(fadt->BootFlags, NO_CMOS_RTC);
PRINTFLAG(fadt->Flags, WBINVD);
PRINTFLAG(fadt->Flags, WBINVD_FLUSH);
PRINTFLAG(fadt->Flags, C1_SUPPORTED);
PRINTFLAG(fadt->Flags, C2_MP_SUPPORTED);
PRINTFLAG(fadt->Flags, POWER_BUTTON);
PRINTFLAG(fadt->Flags, SLEEP_BUTTON);
PRINTFLAG(fadt->Flags, FIXED_RTC);
PRINTFLAG(fadt->Flags, S4_RTC_WAKE);
PRINTFLAG(fadt->Flags, 32BIT_TIMER);
PRINTFLAG(fadt->Flags, DOCKING_SUPPORTED);
PRINTFLAG(fadt->Flags, RESET_REGISTER);
PRINTFLAG(fadt->Flags, SEALED_CASE);
PRINTFLAG(fadt->Flags, HEADLESS);
PRINTFLAG(fadt->Flags, SLEEP_TYPE);
PRINTFLAG(fadt->Flags, PCI_EXPRESS_WAKE);
PRINTFLAG(fadt->Flags, PLATFORM_CLOCK);
PRINTFLAG(fadt->Flags, S4_RTC_VALID);
PRINTFLAG(fadt->Flags, REMOTE_POWER_ON);
PRINTFLAG(fadt->Flags, APIC_CLUSTER);
PRINTFLAG(fadt->Flags, APIC_PHYSICAL);
PRINTFLAG(fadt->Flags, HW_REDUCED);
PRINTFLAG(fadt->Flags, LOW_POWER_S0);