Files
openbios/include/libc/vsprintf.h
Blue Swirl a5cba745e5 Add GCC format attributes to print functions
Fix format problems found.

Signed-off-by: Blue Swirl <blauwirbel@gmail.com>

git-svn-id: svn://coreboot.org/openbios/trunk/openbios-devel@888 f158a5a8-5612-0410-a976-696ce0be7e32
2010-10-09 08:27:09 +00:00

36 lines
980 B
C

/*
* Creation Date: <2003/12/20 01:51:22 samuel>
* Time-stamp: <2004/01/07 19:02:17 samuel>
*
* <vsprintf.h>
*
*
*
* Copyright (C) 2003, 2004 Samuel Rydh (samuel@ibrium.se)
*
* This program is free software; you can redistribute it and/or
* modify it under the terms of the GNU General Public License
* version 2
*
*/
#ifndef _H_VSPRINTF
#define _H_VSPRINTF
#include <stdarg.h>
#include "config.h"
int vsprintf(char *buf, const char *fmt, va_list args)
__attribute__((__format__(__printf__, 2, 0)));
int sprintf(char * buf, const char *fmt, ...)
__attribute__((__format__(__printf__, 2, 3)));
int vsnprintf(char *buf, size_t size, const char *fmt, va_list args)
__attribute__((__format__(__printf__, 3, 0)));
int snprintf(char * buf, size_t size, const char *fmt, ...)
__attribute__((__format__(__printf__, 3, 4)));
int forth_printf(const char *fmt, ...)
__attribute__((__format__(__printf__, 1, 2)));
#endif /* _H_VSPRINTF */