00001 /*****************************************************************************/ 00009 /* (c) 2007 Technische Universität Dresden 00010 * This file is part of DROPS, which is distributed under the terms of the 00011 * GNU General Public License 2. Please see the COPYING file for details. 00012 */ 00013 00014 #ifndef __L4UTIL__INCLUDE__KPRINTF_H__ 00015 #define __L4UTIL__INCLUDE__KPRINTF_H__ 00016 00017 #include <l4/sys/compiler.h> 00018 00019 EXTERN_C_BEGIN 00020 00021 L4_CV int l4_kprintf(const char *fmt, ...) 00022 __attribute__((format (printf, 1, 2))); 00023 00024 EXTERN_C_END 00025 00026 #endif /* ! __L4UTIL__INCLUDE__KPRINTF_H__ */