Searched refs:ecdt (Results 1 – 1 of 1) sorted by relevance
906 ACPI_TABLE_ECDT *ecdt; in acpi_handle_ecdt() local910 ecdt = (ACPI_TABLE_ECDT *)sdp; in acpi_handle_ecdt()912 acpi_print_gas(&ecdt->Control); in acpi_handle_ecdt()914 acpi_print_gas(&ecdt->Data); in acpi_handle_ecdt()915 printf("\n\tUID=%#x, ", ecdt->Uid); in acpi_handle_ecdt()916 printf("GPE_BIT=%#x\n", ecdt->Gpe); in acpi_handle_ecdt()917 printf("\tEC_ID=%s\n", ecdt->Id); in acpi_handle_ecdt()