TSR_DIS
lis r0,TSR_DIS@h; /* Setup the DEC interrupt mask */ \
mtspr(SPRN_TSR, TSR_ENW | TSR_WIS | TSR_DIS | TSR_FIS);
kvmppc_set_tsr_bits(vcpu, TSR_DIS);
if ((vcpu->arch.tcr & TCR_DIE) && (vcpu->arch.tsr & TSR_DIS))