sensor_task_tick  180 kern/kern_sensors.c void	sensor_task_tick(void *);
sensor_task_tick  195 kern/kern_sensors.c 	timeout_set(&st->timeout, sensor_task_tick, st);
sensor_task_tick  197 kern/kern_sensors.c 	sensor_task_tick(st);