Searched refs:dsdt (Results 1 – 7 of 7) sorted by relevance
55 #define MIN_FADT_FOR_DSDT (ACPI_FADT_OFFSET (dsdt) + sizeof (u32))
41 just run "cat /sys/firmware/acpi/tables/DSDT > /tmp/dsdt.dat"42 b) disassemble the table by running "iasl -d dsdt.dat".
603 iasl -e ssdt?.* -d dsdt.dat605 Now, in the dsdt.dsl, we have to search the device whose address is related to678 dsdt.dsl table, whereas the device names "BRG1", "BRG2" and "EXAR" are
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()
478 acpi_gbl_FADT.dsdt, in acpi_tb_convert_fadt()