@@ -753,37 +753,3 @@ E.g. No mtimer overflow, increment, mtimer/mtimerh rollover is checked. No exte
753
753
754
754
* No u-mode interrupts checked
755
755
756
- Coverage Summary
757
-
758
- * mtime -> interrupt -> trigger, clear, retrigger
759
- * msip -> interrupt -> trigger, clear, retrigger, enable, disable
760
- * clint -> pending -> trigger, clear, retrigger (both vectored and direct)
761
- * clint -> enable -> combination of xie and xstataus.xie
762
- * clint -> xtvec -> mode (direct vs. vector)
763
- * clint -> ordering -> interrupt (MSI, MTI, SSI, STI)
764
- * clint -> privilege -> delegation -> delegate -> machine/supervisor -> handling/ordering
765
- * clint -> privilege -> pending -> m-mode -> visible, trigger, clear
766
- * clint -> privilege -> pending -> s-mode -> visible, invisible, trigger, clear (missing sip STI, SEI is read_only in s-mode?)
767
-
768
- * clint -> privilege -> enable -> m-mode int, in m-mode -> mie=0 -> not taken
769
- * clint -> privilege -> enable -> m-mode int, in m-mode -> mstatus.mie=0 -> not taken
770
- * clint -> privilege -> enable -> m-mode int, in m-mode -> mie=1 && mstatus.mie=1 -> taken
771
-
772
- * clint -> privilege -> enable -> m-mode int, in s-mode -> mie=0 -> not taken
773
- * clint -> privilege -> enable -> m-mode int, in s-mode -> mstatus.mie=0 -> taken
774
- * clint -> privilege -> enable -> m-mode int, in s-mode -> mie=1 && mstatus.mie=1 -> taken
775
-
776
- * clint -> privilege -> enable -> s-mode int, in s-mode -> sie=0 -> not taken
777
- * clint -> privilege -> enable -> s-mode int, in s-mode -> mstatus.sie=0 -> not taken
778
- * clint -> privilege -> enable -> s-mode int, in s-mode -> sie=1 && mstatus.sie=1 -> taken
779
-
780
- * clint -> privilege -> enable -> s-mode int, in m-mode -> sie=1 && mstatus.sie=1 -> not taken
781
-
782
- * clint -> privilege -> xtvec -> m-mode uses mtvec, s-mode uses stvec (direct vs vectored)
783
- * clint -> nested -> m-mode to m-mode
784
- * clint -> nested -> m-mode to s-mode
785
- * clint -> nested -> s-mode to m-mode
786
- * clint -> sequenced interrupts -> m-mode to s-mode
787
-
788
- * wfi -> resume -> interrupt -> xie == 1 && mstatus.xie == 0
789
-
0 commit comments