Generated by manServer 1.07 from /usr/share/man/man2/timer_getoverrun.2.gz .