device: Move find_dev_path() to device_const.c

Change-Id: I8a27aa7157b5706623272ba9354ed8dff9b8184f
Signed-off-by: Kyösti Mälkki <kyosti.malkki@gmail.com>
Reviewed-on: https://review.coreboot.org/26446
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Nico Huber <nico.h@gmx.de>
Reviewed-by: Aaron Durbin <adurbin@chromium.org>
diff --git a/src/include/device/device.h b/src/include/device/device.h
index e1b4a99..64add5d 100644
--- a/src/include/device/device.h
+++ b/src/include/device/device.h
@@ -196,7 +196,9 @@
 void run_bios(struct device *dev, unsigned long addr);
 
 /* Helper functions */
-struct device *find_dev_path(struct bus *parent, struct device_path *path);
+DEVTREE_CONST struct device *find_dev_path(
+		const struct bus *parent,
+		const struct device_path *path);
 struct device *alloc_find_dev(struct bus *parent, struct device_path *path);
 struct device *dev_find_device(u16 vendor, u16 device, struct device *from);
 struct device *dev_find_class(unsigned int class, struct device *from);
diff --git a/src/include/device/path.h b/src/include/device/path.h
index 067a507..0d9c681 100644
--- a/src/include/device/path.h
+++ b/src/include/device/path.h
@@ -125,7 +125,6 @@
 #define DEVICE_PATH_MAX 30
 #define BUS_PATH_MAX (DEVICE_PATH_MAX+10)
 
-extern int path_eq(struct device_path *path1, struct device_path *path2);
 extern const char *dev_path_name(enum device_path_type type);
 
 #endif /* DEVICE_PATH_H */