Does mstateen1h exist on RV64?
No. mstateen1h is the RV32 CSR for accessing the upper 32 bits of mstateen1.
mstateen1h (0x31D) is the RV32 M-mode high-half CSR for bits 63:32 of mstateen1.
mstateen1h exists only on RV32 as the access window for mstateen1 bits 63:32. Bit 31 maps mstateen1.SE1, letting M-mode control lower-privilege access to matching hstateen1/sstateen1 CSRs.
On RV32, read mstateen1h before initializing lower-privilege environment state to observe the upper 32 bits of mstateen1.
Modify only target fields and preserve all other bits.
When needed, read the CSR back and confirm the effect through later lower-privilege accesses, traps, or state updates.
No. mstateen1h is the RV32 CSR for accessing the upper 32 bits of mstateen1.
No. In the current manual, these bits are reserved unless a future standard defines a stateen meaning; undefined reserved bits read as zero.