Changeset 64b7854 in mainline for kernel/generic/include/ddi/ddi.h

Timestamp:

2019-06-20T13:47:03Z (5 years ago)

Author:

Jiří Zárevúcky <zarevucky.jiri@…>

Children:

d7dfa05

Parents:

e39d7b8

Message:

Use uspace_addr_t instead of uspace_ptr(void)

File:

• kernel/generic/include/ddi/ddi.h (modified) (1 diff)

kernel/generic/include/ddi/ddi.h

@@ -63 +63 @@
 extern void pio_unmap(void *, void *, size_t);
 
-extern sys_errno_t sys_physmem_map(uintptr_t, size_t, unsigned int, uspace_ptr(void),
+extern sys_errno_t sys_physmem_map(uintptr_t, size_t, unsigned int, uspace_addr_t,
     uintptr_t);
 extern sys_errno_t sys_physmem_unmap(uintptr_t);
 
-extern sys_errno_t sys_dmamem_map(size_t, unsigned int, unsigned int, uspace_ptr(void),
-    uspace_ptr(void), uintptr_t);
+extern sys_errno_t sys_dmamem_map(size_t, unsigned int, unsigned int, uspace_addr_t,
+    uspace_addr_t, uintptr_t);
 extern sys_errno_t sys_dmamem_unmap(uintptr_t, size_t, unsigned int);