Kernel properly handles floating point (XCC)
[akaros.git] / kern / arch / riscv / env.c
index e2b2ac9..366b6fc 100644 (file)
@@ -14,6 +14,7 @@ env_push_ancillary_state(env_t* e)
 void
 save_fp_state(ancillary_state_t* silly)
 {
+       /* TODO: save FP state! */
        return; // don't save FP state for now
        uintptr_t sr = mfpcr(PCR_SR);
        mtpcr(PCR_SR, sr | SR_EF);
@@ -108,6 +109,11 @@ restore_fp_state(ancillary_state_t* silly)
        mtpcr(PCR_SR, sr);
 }
 
+void init_fp_state(void)
+{
+       /* TODO: implement me! */
+}
+
 static int
 user_mem_walk_recursive(env_t* e, uintptr_t start, size_t len,
                         mem_walk_callback_t callback, void* arg,