Changes in kernel/generic/include/mm/as.h [5a5269d:2fc3b2d] in mainline

File:

• kernel/generic/include/mm/as.h (modified) (2 diffs)

kernel/generic/include/mm/as.h

@@ -59 +59 @@
 #define KERNEL_ADDRESS_SPACE_SHADOWED  KERNEL_ADDRESS_SPACE_SHADOWED_ARCH
 
-/**
- * Defined to be true if user address space and kernel address space do not
- * share the same page table.
- */
-#define KERNEL_SEPARATE_PTL0 KERNEL_SEPARATE_PTL0_ARCH
-
 #define KERNEL_ADDRESS_SPACE_START  KERNEL_ADDRESS_SPACE_START_ARCH
 #define KERNEL_ADDRESS_SPACE_END    KERNEL_ADDRESS_SPACE_END_ARCH
@@ -373 +367 @@
 /* Address space area related syscalls. */
 extern sysarg_t sys_as_area_create(uintptr_t, size_t, unsigned int, uintptr_t,
-    uspace_ptr_as_area_pager_info_t);
+    as_area_pager_info_t *);
 extern sys_errno_t sys_as_area_resize(uintptr_t, size_t, unsigned int);
 extern sys_errno_t sys_as_area_change_flags(uintptr_t, unsigned int);
-extern sys_errno_t sys_as_area_get_info(uintptr_t, uspace_ptr_as_area_info_t);
+extern sys_errno_t sys_as_area_get_info(uintptr_t, as_area_info_t *);
 extern sys_errno_t sys_as_area_destroy(uintptr_t);