GUEST_STAGE_PTIMER_CVAL
guest_run_stage(shared_data, GUEST_STAGE_PTIMER_CVAL);
case GUEST_STAGE_PTIMER_CVAL: