Changeset 336db295 in mainline for kernel/generic/include

Timestamp:

2010-01-23T14:25:32Z (16 years ago)

Author:

Jiri Svoboda <jiri@…>

Branches:

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

Children:

a074b4f

Parents:

9d3133d

Message:

Fix THREAD_READ, add AREAS_READ Udebug method. Add task dump utility.

Location:

kernel/generic/include

Files:

• mm/as.h (modified) (3 diffs)
• udebug/udebug.h (modified) (1 diff)
• udebug/udebug_ops.h (modified) (1 diff)

kernel/generic/include/mm/as.h

@@ -36 +36 @@
 #define KERN_AS_H_
 
+#ifdef KERNEL
+#include <arch/types.h>
+#else
+#include <sys/types.h>
+#endif
+
 /** Address space area flags. */
 #define AS_AREA_READ            1
@@ -41 +47 @@
 #define AS_AREA_EXEC            4
 #define AS_AREA_CACHEABLE       8
+
+/** Address space area info exported to userspace. */
+typedef struct {
+        /** Starting address */
+        uintptr_t start_addr;
+
+        /** Area size */
+        size_t size;
+
+        /** Area flags */
+        int flags;
+} as_area_info_t;
 
 #ifdef KERNEL
@@ -268 +286 @@
 
 /* Introspection functions. */
+extern void as_get_area_info(as_t *as, as_area_info_t **obuf, size_t *osize);
 extern void as_print(as_t *as);
 

kernel/generic/include/udebug/udebug.h

@@ -96 +96 @@
  */
 UDEBUG_M_THREAD_READ,
+
+/** Read the list of the debugged task's address space areas.
+ *
+ * - ARG2 - destination address in the caller's address space
+ * - ARG3 - size of receiving buffer in bytes
+ *
+ * The kernel fills the buffer with a series of as_area_info_t structures.
+ * Upon answer, the kernel will set:
+ *
+ * - ARG2 - number of bytes that were actually copied
+ * - ARG3 - number of bytes of the complete data
+ *
+ */
+UDEBUG_M_AREAS_READ,
 
 /** Read the debugged tasks's memory.

kernel/generic/include/udebug/udebug_ops.h

@@ -45 +45 @@
 int udebug_stop(thread_t *t, call_t *call);
 
-int udebug_thread_read(void **buffer, size_t buf_size, size_t *n);
+int udebug_thread_read(void **buffer, size_t buf_size, size_t *stored,
+    size_t *needed);
 int udebug_args_read(thread_t *t, void **buffer);