Changeset 7a0359b in mainline for kernel/generic/src/console/kconsole.c

Timestamp:

2010-07-02T15:42:19Z (14 years ago)

Author:

Martin Decky <martin@…>

Branches:

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

Children:

bbfdf62

Parents:

e3ee9b9

Message:

improve kernel function tracing

• add support for more generic kernel sources
• replace attribute((no_instrument_function)) with NO_TRACE macro (shorter and for future compatibility with different compilers)
• to be on the safe side, do not instrument most of the inline and static functions (plus some specific non-static functions)

collateral code cleanup (no change in functionality)

File:

• kernel/generic/src/console/kconsole.c (modified) (7 diffs)

kernel/generic/src/console/kconsole.c

@@ -160 +160 @@
 
 /** Print count times a character */
-static void print_cc(wchar_t ch, size_t count)
+NO_TRACE static void print_cc(wchar_t ch, size_t count)
 {
         size_t i;
@@ -168 +168 @@
 
 /** Try to find a command beginning with prefix */
-static const char *cmdtab_search_one(const char *name, link_t **startpos)
+NO_TRACE static const char *cmdtab_search_one(const char *name,
+    link_t **startpos)
 {
         size_t namelen = str_length(name);
@@ -202 +203 @@
  *
  */
-static int cmdtab_compl(char *input, size_t size)
+NO_TRACE static int cmdtab_compl(char *input, size_t size)
 {
         const char *name = input;
@@ -237 +238 @@
 }
 
-static wchar_t *clever_readline(const char *prompt, indev_t *indev)
+NO_TRACE static wchar_t *clever_readline(const char *prompt, indev_t *indev)
 {
         printf("%s> ", prompt);
@@ -422 +423 @@
 }
 
-static bool parse_int_arg(const char *text, size_t len, unative_t *result)
+NO_TRACE static bool parse_int_arg(const char *text, size_t len,
+    unative_t *result)
 {
         bool isaddr = false;
@@ -507 +509 @@
  *
  */
-static bool parse_argument(const char *cmdline, size_t size, size_t *start, size_t *end)
+NO_TRACE static bool parse_argument(const char *cmdline, size_t size,
+    size_t *start, size_t *end)
 {
         ASSERT(start != NULL);
@@ -543 +546 @@
  *
  */
-static cmd_info_t *parse_cmdline(const char *cmdline, size_t size)
+NO_TRACE static cmd_info_t *parse_cmdline(const char *cmdline, size_t size)
 {
         size_t start = 0;