Changes in kernel/generic/src/syscall/copy.c [b3f8fb7:1479562] in mainline

File:

• kernel/generic/src/syscall/copy.c (modified) (4 diffs)

kernel/generic/src/syscall/copy.c

@@ -68 +68 @@
         if (!KERNEL_ADDRESS_SPACE_SHADOWED) {
                 if (overlaps((uintptr_t) uspace_src, size,
-                        KERNEL_ADDRESS_SPACE_START, KERNEL_ADDRESS_SPACE_END-KERNEL_ADDRESS_SPACE_START)) {
+                        KERNEL_ADDRESS_SPACE_START,
+                        KERNEL_ADDRESS_SPACE_END - KERNEL_ADDRESS_SPACE_START)) {
                         /*
                          * The userspace source block conflicts with kernel address space.
@@ -75 +76 @@
                 }
         }
+
+#ifdef ADDRESS_SPACE_HOLE_START
+        /*
+         * Check whether the address is outside the address space hole.
+         */
+        if (overlaps((uintptr_t) uspace_src, size, ADDRESS_SPACE_HOLE_START,
+            ADDRESS_SPACE_HOLE_END - ADDRESS_SPACE_HOLE_START))
+                return EPERM;
+#endif
         
         ipl = interrupts_disable();
@@ -109 +119 @@
         if (!KERNEL_ADDRESS_SPACE_SHADOWED) {
                 if (overlaps((uintptr_t) uspace_dst, size,
-                        KERNEL_ADDRESS_SPACE_START, KERNEL_ADDRESS_SPACE_END-KERNEL_ADDRESS_SPACE_START)) {
+                        KERNEL_ADDRESS_SPACE_START,
+                        KERNEL_ADDRESS_SPACE_END - KERNEL_ADDRESS_SPACE_START)) {
                         /*
                          * The userspace destination block conflicts with kernel address space.
@@ -116 +127 @@
                 }
         }
+
+#ifdef ADDRESS_SPACE_HOLE_START
+        /*
+         * Check whether the address is outside the address space hole.
+         */
+        if (overlaps((uintptr_t) uspace_dst, size, ADDRESS_SPACE_HOLE_START,
+            ADDRESS_SPACE_HOLE_END - ADDRESS_SPACE_HOLE_START))
+                return EPERM;
+#endif
         
         ipl = interrupts_disable();