Symbol: acpi_tb_check_dsdt_header
drivers/acpi/acpica/actables.h
127
void acpi_tb_check_dsdt_header(void);
drivers/acpi/acpica/psxface.c
94
acpi_tb_check_dsdt_header();