TCR_WRC_MASK
if (final && (vcpu->arch.tcr & TCR_WRC_MASK) &&
if (vcpu->arch.tcr & TCR_WRC_MASK) {
spr_val &= ~TCR_WRC_MASK;
spr_val |= vcpu->arch.tcr & TCR_WRC_MASK;