L4Re – L4 Runtime Environment
ktrace.h
Go to the documentation of this file.
1 
6 /*
7  * (c) 2008-2009 Adam Lackorzynski <adam@os.inf.tu-dresden.de>,
8  * Björn Döbel <doebel@os.inf.tu-dresden.de>,
9  * Torsten Frenzel <frenzel@os.inf.tu-dresden.de>
10  * 2015 Adam Lackorzynski <adam@l4re.org>
11  * economic rights: Technische Universität Dresden (Germany)
12  *
13  * This file is part of TUD:OS and distributed under the terms of the
14  * GNU General Public License 2.
15  * Please see the COPYING-GPL-2 file for details.
16  *
17  * As a special exception, you may use this file as part of a free software
18  * library without restriction. Specifically, if other files instantiate
19  * templates or use macros or inline functions from this file, or you compile
20  * this file and link it with other files to produce an executable, this
21  * file does not by itself cause the resulting executable to be covered by
22  * the GNU General Public License. This exception does not however
23  * invalidate any other reasons why the executable file might be covered by
24  * the GNU General Public License.
25  */
26 /*****************************************************************************/
27 #ifndef __L4_KTRACE_H__
28 #define __L4_KTRACE_H__
29 
30 #include <l4/sys/types.h>
31 #include <l4/sys/ktrace_events.h>
32 
40 L4_INLINE l4_umword_t
41 fiasco_tbuf_log(const char *text);
42 
54 L4_INLINE l4_umword_t
55 fiasco_tbuf_log_3val(const char *text, l4_umword_t v1, l4_umword_t v2, l4_umword_t v3);
56 
64 L4_INLINE l4_umword_t
65 fiasco_tbuf_log_binary(const unsigned char *data);
66 
71 L4_INLINE void
72 fiasco_tbuf_clear(void);
73 
78 L4_INLINE void
79 fiasco_tbuf_dump(void);
80 
81 #include <l4/sys/__ktrace-impl.h>
82 
83 #endif
L4 kernel event tracing.
l4_umword_t fiasco_tbuf_log(const char *text)
Create new trace-buffer entry with describing <text>.
Definition: __ktrace-impl.h:35
void fiasco_tbuf_clear(void)
Clear trace-buffer.
Definition: __ktrace-impl.h:51
l4_umword_t fiasco_tbuf_log_3val(const char *text, l4_umword_t v1, l4_umword_t v2, l4_umword_t v3)
Create new trace-buffer entry with describing <text> and three additional values.
Definition: __ktrace-impl.h:42
l4_umword_t fiasco_tbuf_log_binary(const unsigned char *data)
Create new trace-buffer entry with binary data.
Definition: __ktrace-impl.h:65
void fiasco_tbuf_dump(void)
Dump trace-buffer to kernel console.
Definition: __ktrace-impl.h:58
unsigned long l4_umword_t
Unsigned machine word.
Definition: l4int.h:51
Common L4 ABI Data Types.