SPRN_HDEXCR_RO
return membuf_store(&to, (u64)lower_32_bits(mfspr(SPRN_HDEXCR_RO)));
return mfspr(SPRN_HDEXCR_RO);
return mfspr(SPRN_DEXCR_RO) | mfspr(SPRN_HDEXCR_RO);