linux/drivers/char/uv_mmtimer.c
<<