#ifndef RIVOS_IO_H
#define RIVOS_IO_H

#include "../include/types.h"

#define va_list __builtin_va_list
#define va_start __builtin_va_start
#define va_end __builtin_va_end
#define va_arg __builtin_va_arg

void kprintf(const char *fmt, ...);

#endif