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

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

#endif

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

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

#endif

--- 
+++ 
@@ -1,8 +1,9 @@
 #ifndef KPUTS_H
 #define KPUTS_H
+#include <stdarg.h>
 #include "drivers/terminal.h"
 
 void kputs(char* string);
-void kprint_int(char* string, int i);
+void kprintf(char* string, ...);
 
 #endif
Update headers to match new printf
