Searched defs:gps_time (Results 1 – 3 of 3) sorted by relevance
40 using gps_time = time_point<gps_clock, _Duration>; variable
1559 const char * gps_time; in process_tpv() local2089 const char * gps_time) in convert_ascii_time()
252 u_char gps_time; /* use GPS time, not UTC */ member