Lines Matching defs:rsdt
2299 ACPI_TABLE_RSDT *rsdt;
2303 rsdt = (ACPI_TABLE_RSDT *)rsdp;
2313 printf("0x%08x", le32toh(rsdt->TableOffsetEntry[i]));
2598 ACPI_TABLE_RSDT *rsdt;
2611 rsdt = (ACPI_TABLE_RSDT *)rsdp;
2616 addr = le32toh(rsdt->TableOffsetEntry[i]);
2663 write_dsdt(int fd, ACPI_TABLE_HEADER *rsdt, ACPI_TABLE_HEADER *dsdt)
2671 if (rsdt != NULL) {
2675 ssdt = sdt_from_rsdt(rsdt, ACPI_SIG_SSDT, NULL);
2680 ssdt = sdt_from_rsdt(rsdt, ACPI_SIG_SSDT, ssdt);
2691 if (rsdt != NULL) {
2692 ssdt = sdt_from_rsdt(rsdt, "SSDT", NULL);
2696 ssdt = sdt_from_rsdt(rsdt, "SSDT", ssdt);
2703 dsdt_save_file(char *outfile, ACPI_TABLE_HEADER *rsdt, ACPI_TABLE_HEADER *dsdp)
2715 write_dsdt(fd, rsdt, dsdp);
2720 aml_disassemble(ACPI_TABLE_HEADER *rsdt, ACPI_TABLE_HEADER *dsdp)
2754 write_dsdt(fd, rsdt, dsdp);
2801 aml_disassemble_separate(ACPI_TABLE_HEADER *rsdt, ACPI_TABLE_HEADER *dsdp)
2806 if (rsdt != NULL) {
2808 ssdt = sdt_from_rsdt(rsdt, "SSDT", ssdt);
2827 ACPI_TABLE_RSDT *rsdt;
2832 rsdt = (ACPI_TABLE_RSDT *)rsdp;
2837 addr = le32toh(rsdt->TableOffsetEntry[i]);