Changeset d7dfa05 in mainline for kernel/generic/src/mm/as.c

Timestamp:

2019-06-20T14:07:25Z (5 years ago)

Author:

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

Children:

5acf533

Parents:

64b7854

Message:

Make the types ccheck-safe

Instead of using uspace_ptr(char), use uspace_ptr_char which is
defined as #define uspace_ptr_char uspace_ptr(char).

File:

• kernel/generic/src/mm/as.c (modified) (2 diffs)

kernel/generic/src/mm/as.c

@@ -2092 +2092 @@
 
 sysarg_t sys_as_area_create(uintptr_t base, size_t size, unsigned int flags,
-    uintptr_t bound, uspace_ptr(as_area_pager_info_t) pager_info)
+    uintptr_t bound, uspace_ptr_as_area_pager_info_t pager_info)
 {
         uintptr_t virt = base;
@@ -2125 +2125 @@
 }
 
-sys_errno_t sys_as_area_get_info(uintptr_t address, uspace_ptr(as_area_info_t) dest)
+sys_errno_t sys_as_area_get_info(uintptr_t address, uspace_ptr_as_area_info_t dest)
 {
         as_area_t *area;