From 5e7e315deeebf89e7843e0a69d7a22808320257f Mon Sep 17 00:00:00 2001
From: Yunsup Lee <yunsup@cs.berkeley.edu>
Date: Sat, 9 Apr 2011 20:15:05 -0700
Subject: [pk] fix init_fp function prototype

---
 pk/pk.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'pk/pk.h')

diff --git a/pk/pk.h b/pk/pk.h
index 9d007e7..3def532 100644
--- a/pk/pk.h
+++ b/pk/pk.h
@@ -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);
-- 
cgit v1.1