(&mut self, cause: u64, tval: u64, pc: u64)
| 756 | |
| 757 | fn handle_mret(&mut self) { |
| 758 | let new_pc = traps::handle_mret(&mut self.regs, &mut self.csrs); |
| 759 | self.fetch_pc = new_pc; |
| 760 | self.regs.pc = new_pc; |
| 761 | self.flush_pipeline(); |
| 762 | self.mret_in_flight = false; // Clear the flag after MRET completes |
| 763 | self.csrs.increment_instret(); |
| 764 | self.stats.insns_retired += 1; |
| 765 | } |
no test coverage detected