osdebug.c File Reference

#include <stdarg.h>
#include <string.h>
#include <stdint.h>
#include <BoardConsole.h>
#include <osdebug.h>

Go to the source code of this file.

Functions
void	osDbgPrintf (const char *str,...)

Function Documentation

void osDbgPrintf	(	const char *	str,
			...
	)

Definition at line 14 of file osdebug.c.