Fix up the tree again...
[coreboot.git] / src / arch / i386 / include / arch / acpi.h
index 7f87f64a03061227dc6fed64f3be978f8f4a3f1f..f5668c343bd7f6b35d1d3a9d6860f58386100f89 100644 (file)
@@ -389,7 +389,7 @@ int acpi_get_sleep_type(void);
 
 #endif
 
-unsigned long acpi_add_ssdt_pstates(acpi_rsdt_t *rsdt, unsigned long current);
+unsigned long acpi_add_ssdt_pstates(acpi_rsdp_t *rsdp, unsigned long current);
 
 #define ACPI_WRITE_MADT_IOAPIC(dev,id)                 \
 do {                                                    \