diff options
Diffstat (limited to 'pk/pk.h')
-rw-r--r-- | pk/pk.h | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -27,7 +27,7 @@ extern "C" { extern int have_fp; extern int have_vector; int emulate_fp(trapframe_t*); -void init_fp(); +void init_fp(trapframe_t* tf); void printk(const char* s, ...); void init_tf(trapframe_t*, long pc, long sp, int user64); |