Changeset 40eab9f in mainline for kernel/generic/src/debug/util.h

Timestamp:

2023-11-03T18:47:41Z (15 months ago)

Author:

Jiří Zárevúcky <zarevucky.jiri@…>

Branches:

master, topic/msim-upgrade, topic/simplify-dev-export

Children:

b1397ab

Parents:

dcd8214

git-author:

Jiří Zárevúcky <zarevucky.jiri@…> (2023-11-03 18:46:22)

git-committer:

Jiří Zárevúcky <zarevucky.jiri@…> (2023-11-03 18:47:41)

Message:

Print symbol names and line numbers in stacktraces for init tasks

Only useful in select few situations, but useful nonetheless.

File:

• kernel/generic/src/debug/util.h (modified) (16 diffs)

kernel/generic/src/debug/util.h

@@ -33 +33 @@
 #include <stdint.h>
 #include <debug/constants.h>
+#include <debug/sections.h>
 #include <debug.h>
 
@@ -39 +40 @@
 extern bool skip_data(unsigned, const uint8_t **const, const uint8_t *, unsigned);
 extern void print_format(const char *, const uint8_t *, const uint8_t *);
-extern void print_formatted_list(const char *, const uint8_t *, const uint8_t *,
-    const uint8_t *, const uint8_t *, unsigned);
+extern void print_formatted_list(debug_sections_t *, const char *,
+    const uint8_t *, const uint8_t *, const uint8_t *, const uint8_t *, unsigned);
 
 extern void print_block(const uint8_t **, const uint8_t *, unsigned);
-extern void print_formed_data(unsigned, const uint8_t **const, const uint8_t *, unsigned);
-
-inline uint8_t read_byte(const uint8_t **data, const uint8_t *data_end)
+extern void print_formed_data(debug_sections_t *scs, unsigned, const uint8_t **const, const uint8_t *, unsigned);
+
+static inline uint8_t read_byte(const uint8_t **data, const uint8_t *data_end)
 {
         if (*data >= data_end) {
@@ -67 +68 @@
 } __attribute__((packed));
 
-inline uint16_t read_uint16(const uint8_t **data, const uint8_t *data_end)
+static inline uint16_t read_uint16(const uint8_t **data, const uint8_t *data_end)
 {
         if (*data + 2 > data_end) {
@@ -80 +81 @@
 }
 
-inline uint32_t read_uint24(const uint8_t **data, const uint8_t *data_end)
+static inline uint32_t read_uint24(const uint8_t **data, const uint8_t *data_end)
 {
         if (*data + 3 > data_end) {
@@ -98 +99 @@
 }
 
-inline uint32_t read_uint32(const uint8_t **data, const uint8_t *data_end)
+static inline uint32_t read_uint32(const uint8_t **data, const uint8_t *data_end)
 {
         if (*data + 4 > data_end) {
@@ -111 +112 @@
 }
 
-inline uint64_t read_uint64(const uint8_t **data, const uint8_t *data_end)
+static inline uint64_t read_uint64(const uint8_t **data, const uint8_t *data_end)
 {
         if (*data + 8 > data_end) {
@@ -124 +125 @@
 }
 
-inline uint64_t read_uint(const uint8_t **data, const uint8_t *data_end, unsigned bytes)
+static inline uint64_t read_uint(const uint8_t **data, const uint8_t *data_end, unsigned bytes)
 {
         switch (bytes) {
@@ -140 +141 @@
 }
 
-inline uint64_t read_uleb128(const uint8_t **data, const uint8_t *data_end)
+static inline uint64_t read_uleb128(const uint8_t **data, const uint8_t *data_end)
 {
         uint64_t result = 0;
@@ -157 +158 @@
 }
 
-inline int64_t read_sleb128(const uint8_t **data, const uint8_t *data_end)
+static inline int64_t read_sleb128(const uint8_t **data, const uint8_t *data_end)
 {
         uint64_t result = 0;
@@ -179 +180 @@
 }
 
-inline void skip_leb128(const uint8_t **data, const uint8_t *data_end)
+static inline void skip_leb128(const uint8_t **data, const uint8_t *data_end)
 {
         while (*data < data_end) {
@@ -188 +189 @@
 }
 
-inline uint64_t read_initial_length(const uint8_t **data, const uint8_t *data_end, unsigned *width)
+static inline uint64_t read_initial_length(const uint8_t **data, const uint8_t *data_end, unsigned *width)
 {
         uint32_t initial = read_uint32(data, data_end);
@@ -200 +201 @@
 }
 
-inline const char *read_string(const uint8_t **data, const uint8_t *data_end)
+static inline const char *read_string(const uint8_t **data, const uint8_t *data_end)
 {
         const char *start = (const char *) *data;
@@ -218 +219 @@
 }
 
-inline void skip_string(const uint8_t **data, const uint8_t *data_end)
+static inline void skip_string(const uint8_t **data, const uint8_t *data_end)
 {
         (void) read_string(data, data_end);
 }
 
-inline void safe_increment(const uint8_t **data,
+static inline void safe_increment(const uint8_t **data,
     const uint8_t *data_end, ptrdiff_t increment)
 {
@@ -235 +236 @@
 }
 
-inline void skip_format(const uint8_t **data, const uint8_t *const data_end,
+static inline void skip_format(const uint8_t **data, const uint8_t *const data_end,
     unsigned count)
 {
@@ -244 +245 @@
 }
 
-inline void skip_formatted_entry(const uint8_t **data, const uint8_t *const data_end,
+static inline void skip_formatted_entry(const uint8_t **data, const uint8_t *const data_end,
     const uint8_t *format, const uint8_t *format_end, unsigned width)
 {
@@ -256 +257 @@
 }
 
-inline void skip_formatted_list(const uint8_t **data, const uint8_t *const data_end,
+static inline void skip_formatted_list(const uint8_t **data, const uint8_t *const data_end,
     unsigned count,     const uint8_t *format, const uint8_t *format_end,
     unsigned width)