diff --git a/src/include/device/device.h b/src/include/device/device.h
index 48a5bcc..744836d 100644
--- a/src/include/device/device.h
+++ b/src/include/device/device.h
@@ -185,7 +185,7 @@
 void assign_resources(struct bus *bus);
 const char *dev_name(struct device *dev);
 const char *dev_path(const struct device *dev);
-u32 dev_path_encode(struct device *dev);
+u32 dev_path_encode(const struct device *dev);
 const char *bus_path(struct bus *bus);
 void dev_set_enabled(struct device *dev, int enable);
 void disable_children(struct bus *bus);