diff --git a/drivers/of/platform.c b/drivers/of/platform.c
index ab3ccab..2c075db 100644
--- a/drivers/of/platform.c
+++ b/drivers/of/platform.c
@@ -118,7 +118,7 @@
  * Returns pointer to created platform device, or NULL if a device was not
  * registered. Unavailable devices will not get registered.
  */
-static struct device_d *of_platform_device_create(struct device_node *np,
+struct device_d *of_platform_device_create(struct device_node *np,
 						struct device_d *parent)
 {
 	struct device_d *dev;
diff --git a/include/of.h b/include/of.h
index c02f5f4..1db210b 100644
--- a/include/of.h
+++ b/include/of.h
@@ -224,6 +224,8 @@
 extern struct device_node *of_get_root_node(void);
 extern int of_set_root_node(struct device_node *node);
 
+extern struct device_d *of_platform_device_create(struct device_node *np,
+						struct device_d *parent);
 extern int of_platform_populate(struct device_node *root,
 				const struct of_device_id *matches,
 				struct device_d *parent);