In page 14, Section 6.3 of the E3 coreplex manual, there is a sentence as follows:
A timer interrupt is pending whenever the value in a hart’s mtimecmp register is greater than or equal to mtime.
However, in page 8 of Krste’s “Interrupts” presentation, it says “MTIP set when mtime >= mtimecmp”.
Which one is correct?