Index: generic/include/ddi/ddi.h
===================================================================
--- generic/include/ddi/ddi.h	(revision 6212095a5f8f2d683b1a3e823a12400c54f8efbf)
+++ generic/include/ddi/ddi.h	(revision 77f28f368e225799db450a8ffad05c71468ece58)
@@ -34,5 +34,6 @@
 #include <typedefs.h>
 
-extern __native sys_physmem_map(ddi_memarg_t *uspace_mem_arg);
+__native sys_physmem_map(__native phys_base, __native virt_base, __native pages, 
+			 __native flags);
 extern __native sys_iospace_enable(ddi_ioarg_t *uspace_io_arg);
 extern __native sys_preempt_control(int enable);