diff --git a/src/include/device/device.h b/src/include/device/device.h
index 07b71ec..113969c 100644
--- a/src/include/device/device.h
+++ b/src/include/device/device.h
@@ -53,7 +53,6 @@
 		unsigned long *current);
 	void (*get_smbios_strings)(struct device *dev, struct smbios_type11 *t);
 
-#if CONFIG(HAVE_ACPI_TABLES)
 	unsigned long (*write_acpi_tables)(const struct device *dev,
 		unsigned long start, struct acpi_rsdp *rsdp);
 	void (*acpi_fill_ssdt)(const struct device *dev);
@@ -61,7 +60,7 @@
 	const char *(*acpi_name)(const struct device *dev);
 	/* Returns the optional _HID (Hardware ID) */
 	const char *(*acpi_hid)(const struct device *dev);
-#endif
+
 	const struct pci_operations *ops_pci;
 	const struct i2c_bus_operations *ops_i2c_bus;
 	const struct spi_bus_operations *ops_spi_bus;