Searched refs:ecdt (Results 1 – 1 of 1) sorted by relevance
1086 ACPI_TABLE_ECDT *ecdt; in acpi_handle_ecdt() local1090 ecdt = (ACPI_TABLE_ECDT *)sdp; in acpi_handle_ecdt()1092 acpi_print_gas(&ecdt->Control); in acpi_handle_ecdt()1094 acpi_print_gas(&ecdt->Data); in acpi_handle_ecdt()1095 printf("\n\tUID=%#x, ", ecdt->Uid); in acpi_handle_ecdt()1096 printf("GPE_BIT=%#x\n", ecdt->Gpe); in acpi_handle_ecdt()1097 printf("\tEC_ID=%s\n", ecdt->Id); in acpi_handle_ecdt()