Index: uspace/lib/c/include/ddi.h
===================================================================
--- uspace/lib/c/include/ddi.h	(revision 6b8e5b74427c3a66a192963cdac8b0ddbc45e451)
+++ uspace/lib/c/include/ddi.h	(revision 38650da4073b3c28c1a257d2056b62e8a09de8f6)
@@ -41,5 +41,5 @@
 
 extern int device_assign_devno(void);
-extern int physmem_map(void *, void *, unsigned long, int);
+extern int physmem_map(void *, void *, size_t, unsigned int);
 extern int iospace_enable(task_id_t, void *, unsigned long);
 extern int pio_enable(void *, size_t, void **);