diff options
author | Andrew Waterman <waterman@s141.Millennium.Berkeley.EDU> | 2011-02-04 16:09:01 -0800 |
---|---|---|
committer | Andrew Waterman <waterman@s141.Millennium.Berkeley.EDU> | 2011-02-04 16:09:01 -0800 |
commit | af2d471a4e6c2e4551238a2cc209f9c0d997c82f (patch) | |
tree | 324c10ad4431e08b28b3166169a1ccd3833b0d50 /pk/pk.h | |
parent | 83cdb2063f62d4d535aebbaff484e068808e097b (diff) | |
download | riscv-pk-af2d471a4e6c2e4551238a2cc209f9c0d997c82f.zip riscv-pk-af2d471a4e6c2e4551238a2cc209f9c0d997c82f.tar.gz riscv-pk-af2d471a4e6c2e4551238a2cc209f9c0d997c82f.tar.bz2 |
[pk] fixed FP emulation bug
kernel would erroneously trap on FP disabled
Diffstat (limited to 'pk/pk.h')
-rw-r--r-- | pk/pk.h | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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); |