Files
linux/drivers/oprofile/timer_int.c