20 lines
335 B
C
20 lines
335 B
C
#ifndef STLIO_H
|
|
#define STLIO_H
|
|
#include "types.h"
|
|
#include "framebuffer.h"
|
|
// Frame buffer driver
|
|
|
|
// NOTE: not getting computed at compile time so we always have a call
|
|
u32 strlen(const char*);
|
|
|
|
u32 write(const char*, const u32);
|
|
|
|
u32 read(char*, u32);
|
|
|
|
void printf(const char*);
|
|
|
|
void printhex(u32);
|
|
|
|
void putch(const char);
|
|
#endif
|