GUEST_STAGE_VTIMER_TVAL
guest_run_stage(shared_data, GUEST_STAGE_VTIMER_TVAL);
case GUEST_STAGE_VTIMER_TVAL: