Re: Question about supervisor interrupt in M mode
I agree this part of the spec is hard to understand, and requires piecing together several diverse sources within the privileged spec.
I don’t think your clarifications below are quite correct. More inline:
How could that be true if privmode=M? You should never be able to trap to S-mode when executing in M-mode.
Not equivalent, since sip and sie are both masked by mideleg. That’s why the spec doesn’t need to explicitly mention mideleg here.
This is correct but that last term is unnecessary because of the masking of sip/sie.
That’s putting it mildly!