Index: uspace/lib/drv/generic/driver.c
===================================================================
--- uspace/lib/drv/generic/driver.c	(revision 8b1e15ac9100f7b9da56e372d2f441ba44db6fcc)
+++ uspace/lib/drv/generic/driver.c	(revision 7df0477e57b823b922910c8187e059e45db8ecc2)
@@ -76,4 +76,6 @@
 };
 
+static device_t *create_device(void);
+static void delete_device(device_t *);
 
 static void driver_irq_handler(ipc_callid_t iid, ipc_call_t *icall)
@@ -459,5 +461,5 @@
  * @return		The device structure.
  */
-device_t *create_device(void)
+static device_t *create_device(void)
 {
 	device_t *dev;
@@ -495,5 +497,5 @@
  * @param dev		The device structure.
  */
-void delete_device(device_t *dev)
+static void delete_device(device_t *dev)
 {
 	free(dev);
Index: uspace/lib/drv/include/driver.h
===================================================================
--- uspace/lib/drv/include/driver.h	(revision 8b1e15ac9100f7b9da56e372d2f441ba44db6fcc)
+++ uspace/lib/drv/include/driver.h	(revision 7df0477e57b823b922910c8187e059e45db8ecc2)
@@ -161,6 +161,4 @@
  * @return		The device structure.
  */
-extern device_t *create_device(void);
-extern void delete_device(device_t *);
 extern function_t *create_function(void);
 extern void delete_function(function_t *);