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