Changeset da52547 in mainline for kernel/generic/include

Timestamp:

2010-07-02T10:16:38Z (15 years ago)

Author:

Martin Decky <martin@…>

Branches:

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

Children:

b5382d4f

Parents:

ad8f03d2

Message:

add early_putchar() which can be used to do early kernel console output for debugging purposes
(the availability of this feature depends on each platform and specific configuration, currently it works only on ia32/amd64 with EGA and no framebuffer)
instrument more kernel functions
mark some functions as no_instrument (context_restore(), overlaps(), main_bsp())

Location:

kernel/generic/include

Files:

• console/console.h (modified) (1 diff)
• context.h (modified) (1 diff)
• debug.h (modified) (2 diffs)
• macros.h (modified) (1 diff)

kernel/generic/include/console/console.h

@@ -56 +56 @@
 extern outdev_t *stdout;
 
+extern void early_putchar(wchar_t);
+
 extern indev_t *stdin_wire(void);
 extern void stdout_wire(outdev_t *outdev);

kernel/generic/include/context.h

@@ -87 +87 @@
  *
  * @param ctx Context structure.
+ *
  */
-static inline void context_restore(context_t *ctx)
+static inline void __attribute__((no_instrument_function))
+    context_restore(context_t *ctx)
 {
         context_restore_arch(ctx);

kernel/generic/include/debug.h

@@ -98 +98 @@
         } while (0)
 
-extern void __cyg_profile_func_enter(void *, void *);
-extern void __cyg_profile_func_exit(void *, void *);
-
 #else /* CONFIG_LOG */
 
@@ -107 +104 @@
 #endif /* CONFIG_LOG */
 
+#ifdef CONFIG_TRACE
+
+extern void __cyg_profile_func_enter(void *, void *);
+extern void __cyg_profile_func_exit(void *, void *);
+
+#endif /* CONFIG_TRACE */
+
 #endif
 

kernel/generic/include/macros.h

@@ -47 +47 @@
  * @param sz2 Size of the second interval.
  */
-static inline int overlaps(uintptr_t s1, size_t sz1, uintptr_t s2, size_t sz2)
+static inline int __attribute__((no_instrument_function))
+    overlaps(uintptr_t s1, size_t sz1, uintptr_t s2, size_t sz2)
 {
         uintptr_t e1 = s1 + sz1;