sensordev_count    35 kern/kern_sensors.c int			sensordev_count = 0;
sensordev_count    46 kern/kern_sensors.c 	if (sensordev_count == 0) {
sensordev_count    57 kern/kern_sensors.c 	sensordev_count++;
sensordev_count   107 kern/kern_sensors.c 	sensordev_count--;