mtctl
mtctl(t0 + cycles, CR_ITMR);
mtctl(fpu_enable, CR_CCR);
mtctl(0, CR_CCR);
mtctl((1U << 31), CR_EIRR);
mtctl(ci->ci_mask, CR_EIEM);
mtctl(fpu_enable, CR_CCR);
mtctl(0, CR_CCR);
mtctl(mask - 1, CR_ITMR);
mtctl(ci->ci_mask, CR_EIEM);
mtctl(mask & (1U << 31), CR_EIRR);
mtctl(0, CR_EIEM);
mtctl(frame->tf_eiem, CR_EIEM);
mtctl(0, CR_EIEM);
mtctl(frame->tf_eiem, CR_EIEM);
mtctl(fpu_enable, CR_CCR);
mtctl(0, CR_CCR);
mtctl(addr, CR_VTOP);
mtctl(frame->tf_eiem, CR_EIEM);