Symbol: AcpiTbCheckDsdtHeader
src/add-ons/kernel/bus_managers/acpi/acpica/components/parser/psxface.c
252
AcpiTbCheckDsdtHeader ();
src/add-ons/kernel/bus_managers/acpi/acpica/include/actables.h
349
AcpiTbCheckDsdtHeader (