Asking for clarification on the following. In the Privileged spec it says for Writes to the MCAUSE[Exception Code] The Exception Code is a WLRL field, so is only guaranteed to hold supported exception ...