setup_timer.cocci 4.4 KB