L4Re - L4 Runtime Environment
kprintf.h
Go to the documentation of this file.
1
/*****************************************************************************/
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__ */
EXTERN_C_END
#define EXTERN_C_END
End section with C types and functions.
Definition:
compiler.h:187
compiler.h
L4 compiler related defines.
EXTERN_C_BEGIN
#define EXTERN_C_BEGIN
Start section with C types and functions.
Definition:
compiler.h:186
L4_CV
#define L4_CV
Define calling convention.
Definition:
linkage.h:44
l4
util
kprintf.h
Generated on Sun Nov 25 2018 13:34:53 for L4Re - L4 Runtime Environment by
1.8.13