timer_setSoftInt(): rename from timer_set_event_softint().