1 files changed, 1 insertions, 0 deletions
diff --git a/pk/pk.h b/pk/pk.h
index c98e2f9..65a92fc 100644
--- a/pk/pk.h
+++ b/pk/pk.h
@@ -25,6 +25,7 @@ extern "C" {
 
 extern int have_fp;
 int emulate_fp(trapframe_t*);
+void init_fpregs();
 
 void printk(const char* s, ...);
 void init_tf(trapframe_t*, long pc, long sp);