1 files changed, 3 insertions, 1 deletions
diff --git a/pk/pk.h b/pk/pk.h
index 7ff3e85..3cbd561 100644
--- a/pk/pk.h
+++ b/pk/pk.h
@@ -29,7 +29,7 @@ int emulate_fp(trapframe_t*);
 void init_fp();
 
 void printk(const char* s, ...);
-void init_tf(trapframe_t*, long pc, long sp);
+void init_tf(trapframe_t*, long pc, long sp, int user64);
 void pop_tf(trapframe_t*);
 void dump_tf(trapframe_t*);
 
@@ -42,6 +42,8 @@ void boot();
 
 void sys_exit(int code) __attribute__((noreturn));
 
+long load_elf(const char* fn, int* user64);
+
 static inline void advance_pc(trapframe_t* tf)
 {
   tf->epc += 4;