AIA spec specifies that sip[n] is an alias of mvip[n] when mvien[n]=1 && mideleg[n]=0. In the dev board I have, read of sip.SEIP = 0 even though mvip.SEIP=1. ( But stopi >> 16 = 0x9, and it cause S-mode to trap correctly). The tests have be conducted in M-mode. Could it be just implementation error? (I'm wondering if I'm missing something from the spec)