1 files changed, 1 insertions, 1 deletions
diff --git a/pk/pk.h b/pk/pk.h
index 06d68ee..d21a890 100644
--- a/pk/pk.h
+++ b/pk/pk.h
@@ -48,7 +48,7 @@ extern uint32_t num_harts;
 
 struct mainvars* parse_args(struct mainvars*);
 void printk(const char* s, ...);
-void sprintk(char* out, const char* s, ...);
+int snprintf(char* out, size_t n, const char* s, ...);
 void init_tf(trapframe_t*, long pc, long sp, int user64);
 void pop_tf(trapframe_t*) __attribute__((noreturn));
 void dump_tf(trapframe_t*);