dsdt_from_fadt
sdt = dsdt_from_fadt((ACPI_TABLE_FADT *)sdt);
ACPI_TABLE_HEADER *dsdt_from_fadt(ACPI_TABLE_FADT *);