#ifndef __PPS_SYNC_H #define __PPS_SYNC_H extern volatile uint64_t shared_gps_time; extern volatile int gps_time_valid; int pps_init(void); #endif