Failed to find history of kernel/drivers/oprofile/timer_int.c 7d07b3ae8ddad407913c5301877e694430a3263f