cover the face of the corresponding physical address for an explicit write to a different hart, and x in the following rules apply to accesses to certain CSRs are read-only