Home | History | Annotate | Download | only in acpidump

Lines Matching defs:wddt

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