diff options
author | Andrew Waterman <waterman@cs.berkeley.edu> | 2015-09-16 22:44:25 -0700 |
---|---|---|
committer | Andrew Waterman <waterman@cs.berkeley.edu> | 2015-09-16 22:44:25 -0700 |
commit | 69b5de4ffa20d6e2028b1656b2de68fbb929c231 (patch) | |
tree | 4dc4ab857b8c6a6eeecc48bf648375540358a487 /pk | |
parent | 09565f73533039dde9a5acf95d3c0d2fe7a0b442 (diff) | |
download | pk-69b5de4ffa20d6e2028b1656b2de68fbb929c231.zip pk-69b5de4ffa20d6e2028b1656b2de68fbb929c231.tar.gz pk-69b5de4ffa20d6e2028b1656b2de68fbb929c231.tar.bz2 |
Initialize FCSR on boot
Diffstat (limited to 'pk')
-rw-r--r-- | pk/minit.c | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -47,6 +47,7 @@ static void fp_init() panic("FPU not found; recompile pk with -msoft-float"); for (int i = 0; i < 32; i++) init_fp_reg(i); + write_csr(fcsr, 0); #else if (supports_extension('D')) panic("FPU unexpectedly found; recompile pk without -msoft-float"); |