About the "sticky" property of sip.

[zhuotianshu]

On page 64:

If a standard local interrupt becomes pending (= 1) in sip, the bit in sip is writable and will remain set until cleared by software.

But what if mvien or mideleg changes? (Since they can change the meaning of sip between the alias of mvip, the alias of mip and read-only 0)

And same question about vsip.

[jhauser-us]

Changing mvien or mideleg may also clear local interrupts in sip. Likewise, changes to hvien and hideleg may clear local interrupts in vsip. The text you quoted overlooks that fact.