Lines Matching refs:wddt
4022 ACPI_TABLE_WDDT *wddt; in acpi_handle_wddt() local
4026 wddt = (ACPI_TABLE_WDDT *)sdp; in acpi_handle_wddt()
4028 printf("\tSpecVersion=%04hx\n", wddt->SpecVersion); in acpi_handle_wddt()
4029 printf("\tTableVersion=%04hx\n", wddt->TableVersion); in acpi_handle_wddt()
4030 printf("\tPciVendorID=%04hx\n", wddt->PciVendorId); in acpi_handle_wddt()
4032 acpi_print_gas(&wddt->Address); in acpi_handle_wddt()
4033 printf("\n\tTimer Maximum Counter Value=%d\n", wddt->MaxCount); in acpi_handle_wddt()
4034 printf("\tTimer Minimum Counter Value=%d\n", wddt->MinCount); in acpi_handle_wddt()
4035 printf("\tTimer Counter Period=%d\n", wddt->Period); in acpi_handle_wddt()
4040 PRINTFLAG(wddt->Status, AVAILABLE); in acpi_handle_wddt()
4041 PRINTFLAG(wddt->Status, ACTIVE); in acpi_handle_wddt()
4042 PRINTFLAG(wddt->Status, TCO_OS_OWNED); in acpi_handle_wddt()
4043 PRINTFLAG(wddt->Status, USER_RESET); in acpi_handle_wddt()
4044 PRINTFLAG(wddt->Status, WDT_RESET); in acpi_handle_wddt()
4045 PRINTFLAG(wddt->Status, POWER_FAIL); in acpi_handle_wddt()
4046 PRINTFLAG(wddt->Status, UNKNOWN_RESET); in acpi_handle_wddt()
4050 PRINTFLAG(wddt->Capability, AUTO_RESET); in acpi_handle_wddt()
4051 PRINTFLAG(wddt->Capability, ALERT_SUPPORT); in acpi_handle_wddt()