X9

Writing W9 does not simply deposit 32 bits. Bits 63:32 of X9 are reset to zero as a side effect, so a W write always clears the upper half. This is the reason W9 and X9 can never hold unrelated values at the same time.