void setsoft(int ipl) { const static int timer_map[] = { [IPL_SOFT] = 1, [IPL_SOFTCLOCK] = 2, [IPL_SOFTNET] = 3, [IPL_SOFTSERIAL]= 3, }; KDASSERT(ipl >= IPL_SOFT && ipl <= IPL_SOFTSERIAL); /* kick one shot timer */ timer_one_shot(timer_map[ipl]); }
static int itimer_next_event(unsigned long delta, struct clock_event_device *evt) { return timer_one_shot(delta + 1); }