|
[ source navigation ] [ diff markup ] [ identifier search ] [ general search ] |
|||
|
001 /* Copyright (C) 2005 David Decotigny 001 /* Copyright (C) 2005 David Decotigny 002 Copyright (C) 2003 Thomas Petazzoni 002 Copyright (C) 2003 Thomas Petazzoni 003 003 004 This program is free software; you can redi 004 This program is free software; you can redistribute it and/or 005 modify it under the terms of the GNU Genera 005 modify it under the terms of the GNU General Public License 006 as published by the Free Software Foundatio 006 as published by the Free Software Foundation; either version 2 007 of the License, or (at your option) any lat 007 of the License, or (at your option) any later version. 008 008 009 This program is distributed in the hope tha 009 This program is distributed in the hope that it will be useful, 010 but WITHOUT ANY WARRANTY; without even the 010 but WITHOUT ANY WARRANTY; without even the implied warranty of 011 MERCHANTABILITY or FITNESS FOR A PARTICULAR 011 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 012 GNU General Public License for more details 012 GNU General Public License for more details. 013 013 014 You should have received a copy of the GNU 014 You should have received a copy of the GNU General Public License 015 along with this program; if not, write to t 015 along with this program; if not, write to the Free Software 016 Foundation, Inc., 59 Temple Place - Suite 3 016 Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, 017 USA. 017 USA. 018 */ 018 */ 019 #ifndef _SOS_LIBC_DEBUG_H_ 019 #ifndef _SOS_LIBC_DEBUG_H_ 020 #define _SOS_LIBC_DEBUG_H_ 020 #define _SOS_LIBC_DEBUG_H_ 021 021 022 /** 022 /** 023 * @file debug.h 023 * @file debug.h 024 * 024 * 025 * Non standard debugging features 025 * Non standard debugging features 026 */ 026 */ 027 027 028 /** 028 /** 029 * Non standard function to print something on 029 * Non standard function to print something on bochs 030 */ 030 */ 031 int bochs_printf(const char *format, /* args * 031 int bochs_printf(const char *format, /* args */...) 032 __attribute__ ((format (printf, 1, 2))); 032 __attribute__ ((format (printf, 1, 2))); 033 033 034 #endif /* _SOS_USER_LIBC_H_ */ 034 #endif /* _SOS_USER_LIBC_H_ */
[ source navigation ] | [ diff markup ] | [ identifier search ] | [ general search ] |