30.13) for floating-point operands is reserved. The senvcfg.SSE field will be held at address 0x015. This CSR provides an easy and typically faster way to somehow get back to clean or