Loading...
Searching...
No Matches
kprintf.h
Go to the documentation of this file.
/*****************************************************************************/
/*
* (c) 2007-2009 Author(s)
* economic rights: Technische Universität Dresden (Germany)
* License: see LICENSE.spdx (in this directory or the directories above)
*/
#ifndef __L4UTIL__INCLUDE__KPRINTF_H__
#define __L4UTIL__INCLUDE__KPRINTF_H__
#include <l4/sys/compiler.h>
L4_BEGIN_DECLS
L4_CV int l4_kprintf(const char *fmt, ...)
__attribute__((format (printf, 1, 2)));
L4_END_DECLS
#endif /* ! __L4UTIL__INCLUDE__KPRINTF_H__ */
compiler.h
L4 compiler related defines.
L4_CV
#define L4_CV
Define calling convention.
Definition linkage.h:33
L4_BEGIN_DECLS
#define L4_BEGIN_DECLS
Start section with C types and functions.
Definition compiler.h:165
L4_END_DECLS
#define L4_END_DECLS
End section with C types and functions.
Definition compiler.h:166