L4Re Operating System Framework
Interface and Usage Documentation
Loading...
Searching...
No Matches
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
23
24L4_CV int l4_kprintf(const char *fmt, ...)
25 __attribute__((format (printf, 1, 2)));
26
28
29#endif /* ! __L4UTIL__INCLUDE__KPRINTF_H__ */
L4 compiler related defines.
#define L4_CV
Define calling convention.
Definition linkage.h:44
#define EXTERN_C_BEGIN
Start section with C types and functions.
Definition compiler.h:192
#define EXTERN_C_END
End section with C types and functions.
Definition compiler.h:193