val_msec          118 drivers/oprofile/oprof.c int oprofile_set_timeout(unsigned long val_msec)
val_msec          135 drivers/oprofile/oprof.c 	time_slice = msecs_to_jiffies(val_msec);