AD_WAIT_WHILE_TIMER
port->sm_mux_timer_counter = __ad_timer_to_ticks(AD_WAIT_WHILE_TIMER, 0);
case AD_WAIT_WHILE_TIMER: /* for selection machine */