Symbol: clockevent_mps2