Lines Matching refs:wddt
974 ACPI_TABLE_WDDT *wddt; in acpi_handle_wddt() local
978 wddt = (ACPI_TABLE_WDDT *)sdp; in acpi_handle_wddt()
980 wddt->SpecVersion, wddt->TableVersion); in acpi_handle_wddt()
981 printf("\tPciVendorId=0x%04x, Address=", wddt->PciVendorId); in acpi_handle_wddt()
982 acpi_print_gas(&wddt->Address); in acpi_handle_wddt()
984 wddt->MaxCount, wddt->MinCount, wddt->Period); in acpi_handle_wddt()
988 PRINTFLAG(wddt->Status, AVAILABLE); in acpi_handle_wddt()
989 PRINTFLAG(wddt->Status, ACTIVE); in acpi_handle_wddt()
990 PRINTFLAG(wddt->Status, TCO_OS_OWNED); in acpi_handle_wddt()
991 PRINTFLAG(wddt->Status, USER_RESET); in acpi_handle_wddt()
992 PRINTFLAG(wddt->Status, WDT_RESET); in acpi_handle_wddt()
993 PRINTFLAG(wddt->Status, POWER_FAIL); in acpi_handle_wddt()
994 PRINTFLAG(wddt->Status, UNKNOWN_RESET); in acpi_handle_wddt()
997 PRINTFLAG(wddt->Capability, AUTO_RESET); in acpi_handle_wddt()
998 PRINTFLAG(wddt->Capability, ALERT_SUPPORT); in acpi_handle_wddt()