#ifndef KPUTS_H
#define KPUTS_H
#include "drivers/terminal.h"

void kputs(char* string);
void kprint_int(char* string, int i);

#endif

#ifndef KPUTS_H
#define KPUTS_H
#include <stdarg.h>
#include "drivers/terminal.h"

void kputs(char* string);
void kprintf(char* string, ...);

#endif

Update headers to match new printf
Update headers to match new printf
