Index: libc/include/ddi.h
===================================================================
--- libc/include/ddi.h	(revision da0c91e7eb4cbf551006cea403dc8a904df85c6e)
+++ libc/include/ddi.h	(revision 1180a88e6b0e02ae13369f77d52c8a119690005a)
@@ -32,5 +32,5 @@
 #include <task.h>
 
-extern int map_physmem(task_id_t id, void *pf, void *vp, unsigned long pages, int flags);
+extern int map_physmem(void *pf, void *vp, unsigned long pages, int flags);
 extern int iospace_enable(task_id_t id, void *ioaddr, unsigned long size);
 extern int preemption_control(int enable);