From af2d471a4e6c2e4551238a2cc209f9c0d997c82f Mon Sep 17 00:00:00 2001
From: Andrew Waterman <waterman@s141.Millennium.Berkeley.EDU>
Date: Fri, 4 Feb 2011 16:09:01 -0800
Subject: [pk] fixed FP emulation bug

kernel would erroneously trap on FP disabled
---
 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 a1fd0da..cf3d7fb 100644
--- a/pk/pk.h
+++ b/pk/pk.h
@@ -26,7 +26,7 @@ extern "C" {
 
 extern int have_fp;
 int emulate_fp(trapframe_t*);
-void init_fp_regs();
+void init_fp();
 
 void printk(const char* s, ...);
 void init_tf(trapframe_t*, long pc, long sp);
-- 
cgit v1.1