Searched defs:timer_is_synced (Results 1 – 2 of 2) sorted by relevance
135 int timer_is_synced; /* if(0) : timer needs to be resynced with real hardware pointer */ member