acpi_tb_check_dsdt_header  128 drivers/acpi/acpica/actables.h void acpi_tb_check_dsdt_header(void);
acpi_tb_check_dsdt_header   94 drivers/acpi/acpica/psxface.c 	acpi_tb_check_dsdt_header();