xburst-tools/qiboot/src/kboot.h

#ifndef __KBOOT_H__
#define __KBOOT_H__

#include <stdarg.h>
#include "serial.h"
#include "ctype.h"

int printk(const char *fmt, ...);
int vsprintf(char *buf, const char *fmt, va_list args);
int puts(const char *string);
void printhex(unsigned char v);
void print32(unsigned int u);

#endif