1 /*****************************************************************************/
2 /**
3  * \file
4  * \brief   printf using the kernel debugger
5  *
6  * \date    04/05/2007
7  * \author  Adam Lackorzynski <adam@os.inf.tu-dresden.de>,
8  */
9 /*
10  * (c) 2007-2009 Author(s)
11  *     economic rights: Technische Universität Dresden (Germany)
12  * This file is part of TUD:OS and distributed under the terms of the
13  * GNU Lesser General Public License 2.1.
14  * Please see the COPYING-LGPL-2.1 file for details.
15  */
16 
17 #ifndef __L4UTIL__INCLUDE__KPRINTF_H__
18 #define __L4UTIL__INCLUDE__KPRINTF_H__
19 
20 #include <l4/sys/compiler.h>
21 
22 EXTERN_C_BEGIN
23 
24 L4_CV int l4_kprintf(const char *fmt, ...)
25                      __attribute__((format (printf, 1, 2)));
26 
27 EXTERN_C_END
28 
29 #endif /* ! __L4UTIL__INCLUDE__KPRINTF_H__ */
30