dl_replenish_nomiss
if (next_state == curr_state && event != dl_replenish_nomiss)
da_handle_event(EXPAND_ID(dl_se, cpu, type), dl_replenish_nomiss);
if (curr_state == ready_nomiss && event == dl_replenish_nomiss)
else if (curr_state == idle_nomiss && event == dl_replenish_nomiss)
else if (curr_state == running_nomiss && event == dl_replenish_nomiss)
else if (curr_state == sleeping_nomiss && event == dl_replenish_nomiss)
else if (curr_state == throttled_nomiss && event == dl_replenish_nomiss)