Index: uspace/lib/libc/include/devmap.h
===================================================================
--- uspace/lib/libc/include/devmap.h	(revision 415c7e0dffd9a61936ae7ae8ebcb40e5f19f768a)
+++ uspace/lib/libc/include/devmap.h	(revision f954906bee52bc1fbf81527f98a0081b1dfc3747)
@@ -48,4 +48,7 @@
 extern int devmap_device_connect(dev_handle_t, unsigned int);
 
+extern int devmap_null_create(void);
+extern void devmap_null_destroy(int);
+
 extern ipcarg_t devmap_device_get_count(void);
 extern ipcarg_t devmap_device_get_devices(ipcarg_t, dev_desc_t *);
Index: uspace/lib/libc/include/ipc/devmap.h
===================================================================
--- uspace/lib/libc/include/ipc/devmap.h	(revision 415c7e0dffd9a61936ae7ae8ebcb40e5f19f768a)
+++ uspace/lib/libc/include/ipc/devmap.h	(revision f954906bee52bc1fbf81527f98a0081b1dfc3747)
@@ -29,5 +29,5 @@
 /** @addtogroup devmap
  * @{
- */ 
+ */
 
 #ifndef DEVMAP_DEVMAP_H_
@@ -49,4 +49,6 @@
 	DEVMAP_DEVICE_GET_NAME,
 	DEVMAP_DEVICE_GET_HANDLE,
+	DEVMAP_DEVICE_NULL_CREATE,
+	DEVMAP_DEVICE_NULL_DESTROY,
 	DEVMAP_DEVICE_GET_COUNT,
 	DEVMAP_DEVICE_GET_DEVICES