Searched refs:dsdt (Results 1 – 6 of 6) sorted by relevance
55 #define MIN_FADT_FOR_DSDT (ACPI_FADT_OFFSET (dsdt) + sizeof (u32))
68 iasl -sa dsdt.dsl78 cp dsdt.aml kernel/firmware/acpi
202 u32 dsdt; /* 32-bit physical address of DSDT */ member
811 && gbl_fadt->dsdt != in osl_get_bios_table()815 dsdt; in osl_get_bios_table()
474 acpi_gbl_FADT.dsdt, in acpi_tb_convert_fadt()
646 iasl -e ssdt?.* -d dsdt.dat648 Now, in the dsdt.dsl, we have to search the device whose address is related to721 dsdt.dsl table, whereas the device names "BRG1", "BRG2" and "EXAR" are