SPRN_HDEC
mtspr(SPRN_HDEC, hdec);
mtspr(SPRN_HDEC, decrementer_max);
mfspr(SPRN_HSRR0), mfspr(SPRN_HSRR1), mfspr(SPRN_HDEC));