timer-r0drv-freebsd.c revision 833f83ce101b6e9168f519decc0dc7a1079d35f7