* "
For any res0 bit, software:

* Must not rely on the bit reading as 0.
* Must use an SBZP policy to write to the bit.
"