1 files changed, 1 insertions, 1 deletions
diff --git a/pk/pk.h b/pk/pk.h
index d21a890..2df80e4 100644
--- a/pk/pk.h
+++ b/pk/pk.h
@@ -50,7 +50,7 @@ struct mainvars* parse_args(struct mainvars*);
 void printk(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 start_user(trapframe_t* tf) __attribute__((noreturn));
 void dump_tf(trapframe_t*);
 
 void unhandled_trap(trapframe_t*);