@@ 174,15 174,9 @@ struct fadt {
 	uint64_t hyp_vendor;
 } __attribute__((packed));
 
-struct dsdt {
-	struct sdt header;
-	uint8_t aml[];
-} __attribute__((packed));
-
 static struct rsdp2* acpi_table;
 static struct xsdt* xsdt;
 static struct fadt* fadt;
-static struct dsdt* dsdt;
 static struct madt* madt;
 static struct mcfg* mcfg;
 

          
@@ 241,8 235,6 @@ void acpi_init(EFI_SYSTEM_TABLE* system_
 		if(cmpsig(sdt->signature, "FACP", 4)) {
 			fadt = (struct fadt*) sdt;
 			verify(fadt, "FADT");
-			dsdt = (struct dsdt*) LOW_TO_HIGH(fadt->x_dsdt);
-			verify(dsdt, "DSDT");
 		} else if(cmpsig(sdt->signature, "APIC", 4)) {
 			madt = (struct madt*) sdt;
 			verify(madt, "MADT");