diff --git a/src/include/device/device.h b/src/include/device/device.h
index efa9e8b..c21067d 100644
--- a/src/include/device/device.h
+++ b/src/include/device/device.h
@@ -51,7 +51,7 @@
 	unsigned long (*write_acpi_tables)(const struct device *dev,
 		unsigned long start, struct acpi_rsdp *rsdp);
 	void (*acpi_fill_ssdt)(const struct device *dev);
-	void (*acpi_inject_dsdt)(struct device *dev);
+	void (*acpi_inject_dsdt)(const struct device *dev);
 	const char *(*acpi_name)(const struct device *dev);
 	/* Returns the optional _HID (Hardware ID) */
 	const char *(*acpi_hid)(const struct device *dev);