SPRN_DEC
return mfspr(SPRN_DEC);
mtspr(SPRN_DEC, val);
mtspr(SPRN_DEC, val - 1);
mtspr(SPRN_DEC, 100 * tb_ticks_per_usec * 1000);
mtspr(SPRN_DEC, wd_panic_timeout_tb);
mtspr(SPRN_DEC, kvmppc_dec_expires_host_tb(vcpu) - *tb);
dec = mfspr(SPRN_DEC);
long int dec = mfspr(SPRN_DEC);
mtspr(SPRN_DEC, vcpu->arch.dec_expires - *tb);
dec = mfspr(SPRN_DEC);
case SPRN_DEC:
case SPRN_DEC:
mtspr(SPRN_DEC, 0x7fffffff);
mfspr(SPRN_DEC), mfspr(SPRN_SPRG2));