Searched refs:wddt (Results 1 – 1 of 1) sorted by relevance
4022 ACPI_TABLE_WDDT *wddt; in acpi_handle_wddt() local4026 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()[all …]