int del_timer(struct timer_list *timer)