Changeset c739102 in mainline for kernel/generic/include

Timestamp:

2012-11-21T23:26:22Z (13 years ago)

Author:

Jan Vesely <jano.vesely@…>

Branches:

lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export

Children:

0f2c80a

Parents:

bebf97d (diff), 1f7753a (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.

Message:

Mainline changes.

Location:

kernel/generic/include

Files:

• config.h (modified) (1 diff)
• macros.h (modified) (2 diffs)
• mm/as.h (modified) (2 diffs)
• proc/task.h (modified) (1 diff)

kernel/generic/include/config.h

@@ -44 +44 @@
 #define STACK_FRAMES  TWO_FRAMES
 #define STACK_SIZE    ((1 << STACK_FRAMES) << PAGE_WIDTH)
+
+#define STACK_SIZE_USER (1 * 1024 * 1024)
 
 #define CONFIG_INIT_TASKS        32

kernel/generic/include/macros.h

@@ -52 +52 @@
     uint64_t sz2)
 {
-        uint64_t e1 = s1 + sz1;
-        uint64_t e2 = s2 + sz2;
-        
-        return ((s1 < e2) && (s2 < e1));
+        uint64_t e1 = s1 + sz1 - 1;
+        uint64_t e2 = s2 + sz2 - 1;
+
+        /* both sizes are non-zero */
+        if (sz1 && sz2)
+                return ((s1 <= e2) && (s2 <= e1));
+
+        /* one size is non-zero */
+        if (sz2)
+                return ((s1 >= s2) && (s1 <= e2));
+        if (sz1)
+                return ((s2 >= s1) && (s2 <= e1));
+
+        /* both are zero */
+        return (s1 == s2);
 }
 
@@ -119 +130 @@
             | ((((uint64_t) (up)) & UINT32_C(0xffffffff)) << 32))
 
+/* Test for sum overflow. */
+#define overflows(a, b) \
+        ((a) + (b) < (a))
+
+/* Test for sum overflow into positive numbers. */
+#define overflows_into_positive(a, b)   \
+        (overflows((a), (b)) && ((a) + (b) > 0))
+
 /** Pseudorandom generator
  *

kernel/generic/include/mm/as.h

@@ -61 +61 @@
 #define USER_ADDRESS_SPACE_END      USER_ADDRESS_SPACE_END_ARCH
 
-#ifdef USTACK_ADDRESS_ARCH
-        #define USTACK_ADDRESS  USTACK_ADDRESS_ARCH
-#else
-        #define USTACK_ADDRESS  (USER_ADDRESS_SPACE_END - (STACK_SIZE - 1))
-#endif
-
 /** Kernel address space. */
 #define FLAG_AS_KERNEL  (1 << 0)
@@ -224 +218 @@
         void (* destroy)(as_area_t *);
 
+        bool (* is_resizable)(as_area_t *);
+        bool (* is_shareable)(as_area_t *);
+
         int (* page_fault)(as_area_t *, uintptr_t, pf_access_t);
         void (* frame_free)(as_area_t *, uintptr_t, uintptr_t);

kernel/generic/include/proc/task.h

@@ -134 +134 @@
         uint64_t ucycles;
         uint64_t kcycles;
+
+        /** If true, do not attempt to print a verbose kill message. */ 
+        bool silent_kill;
 } task_t;