#ifndef PRINTK_H_
#define PRINTK_H_

#include <stdint.h>

void terminal_putchar(int ch);
int printk(const char *fmt, ...);

#endif