freebsd-nq/sys/dev/xen/timer
..
timer.c
timer.h