Changeset 64b7854 in mainline for kernel/generic/src/ddi/ddi.c

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/src/ddi/ddi.c (modified) (2 diffs)

kernel/generic/src/ddi/ddi.c

@@ -248 +248 @@
  */
 sys_errno_t sys_physmem_map(uintptr_t phys, size_t pages, unsigned int flags,
-    uspace_ptr(void) virt_ptr, uintptr_t bound)
+    uspace_addr_t virt_ptr, uintptr_t bound)
 {
         uintptr_t virt;
@@ -465 +465 @@
 
 sys_errno_t sys_dmamem_map(size_t size, unsigned int map_flags, unsigned int flags,
-    uspace_ptr(void) phys_ptr, uspace_ptr(void) virt_ptr, uintptr_t bound)
+    uspace_addr_t phys_ptr, uspace_addr_t virt_ptr, uintptr_t bound)
 {
         if ((flags & DMAMEM_FLAGS_ANONYMOUS) == 0) {