intelcore_update_sensor  333 arch/i386/i386/machdep.c void	intelcore_update_sensor(void *);
intelcore_update_sensor 1376 arch/i386/i386/machdep.c 	sensor_task_register(ci, intelcore_update_sensor, 5);