commit c235e167fa33a684400afe15e200444801c5b461
author Andrew Boie <andrew.p.boie@intel.com> Wed Mar 27 14:27:24 2019 -0700
committer Anas Nashif <anas.nashif@intel.com> Wed Apr 03 13:47:45 2019 -0400
tree 0c114e3e7dd0187eeb1c6f22d7d7a032c45876b3
parent ce6210e479c0de1fcd5368fd671b81827e8aa5a3

elf_helper: support for objects in user memory

Some forthcoming kernel object types like futexes need to
be tracked, but do not contain data that is private to
the kernel.

Signed-off-by: Andrew Boie <andrew.p.boie@intel.com>

scripts/gen_kobject_list.py

diff --git a/scripts/gen_kobject_list.py b/scripts/gen_kobject_list.py
index e34bdf1..a5c70ca 100755
--- a/scripts/gen_kobject_list.py
+++ b/scripts/gen_kobject_list.py
@@ -58,27 +58,32 @@
 from collections import OrderedDict
 
 # Keys in this dictionary are structs which should be recognized as kernel
-# objects. Values should either be None, or the name of a Kconfig that
-# indicates the presence of this object's definition in case it is not
-# available in all configurations.
+# objects. Values are a tuple:
+#
+#  - The first item is None, or the name of a Kconfig that
+#    indicates the presence of this object's definition in case it is not
+#    available in all configurations.
+#
+#  - The second item is a boolean indicating whether it is permissible for
+#    the object to be located in user-accessible memory.
 
 # Regular dictionaries are ordered only with Python 3.6 and
 # above. Good summary and pointers to official documents at:
 # https://stackoverflow.com/questions/39980323/are-dictionaries-ordered-in-python-3-6
 kobjects = OrderedDict ([
-    ("k_mem_slab", None),
-    ("k_msgq", None),
-    ("k_mutex", None),
-    ("k_pipe", None),
-    ("k_queue", None),
-    ("k_poll_signal", None),
-    ("k_sem", None),
-    ("k_stack", None),
-    ("k_thread", None),
-    ("k_timer", None),
-    ("_k_thread_stack_element", None),
-    ("net_context", "CONFIG_NETWORKING"),
-    ("device", None),
+    ("k_mem_slab", (None, False)),
+    ("k_msgq", (None, False)),
+    ("k_mutex", (None, False)),
+    ("k_pipe", (None, False)),
+    ("k_queue", (None, False)),
+    ("k_poll_signal", (None, False)),
+    ("k_sem", (None, False)),
+    ("k_stack", (None, False)),
+    ("k_thread", (None, False)),
+    ("k_timer", (None, False)),
+    ("_k_thread_stack_element", (None, False)),
+    ("net_context", ("CONFIG_NETWORKING", False)),
+    ("device", (None, False)),
 ])
 
 
@@ -227,7 +232,8 @@
 
 def write_kobj_types_output(fp):
     fp.write("/* Core kernel objects */\n")
-    for kobj, dep in kobjects.items():
+    for kobj, obj_info in kobjects.items():
+        dep, _ = obj_info
         if kobj == "device":
             continue
 
@@ -247,7 +253,8 @@
 
 def write_kobj_otype_output(fp):
     fp.write("/* Core kernel objects */\n")
-    for kobj, dep in kobjects.items():
+    for kobj, obj_info in kobjects.items():
+        dep, _ = obj_info
         if kobj == "device":
             continue
 
@@ -270,7 +277,8 @@
 
 def write_kobj_size_output(fp):
     fp.write("/* Non device/stack objects */\n")
-    for kobj, dep in kobjects.items():
+    for kobj, obj_info in kobjects.items():
+        dep, _ = obj_info
         # device handled by default case. Stacks are not currently handled,
         # if they eventually are it will be a special case.
         if kobj == "device" or kobj == "_k_thread_stack_element":