xref: /freebsd/share/doc/papers/timecounter/gps.ps (revision 81ea85a8845662ca329a954eeeb3e6d4124282a2)