diff --git a/src/include/acpi/acpi.h b/src/include/acpi/acpi.h
index dade92d812..8d1e3da4b7 100644
--- a/src/include/acpi/acpi.h
+++ b/src/include/acpi/acpi.h
@@ -1233,7 +1233,6 @@ void acpi_fill_gnvs(void);
 void acpi_fill_cnvs(void);
 
 void update_ssdt(void *ssdt);
-void update_ssdtx(void *ssdtx, int i);
 
 unsigned long acpi_fill_lpit(unsigned long current);