Searched refs:system_reset_counter (Results 1 – 3 of 3) sorted by relevance
154 extern uint32_t system_reset_counter;
33 uint32_t system_reset_counter = 1; variable218 system_reset_counter++; in enter_state()
814 if ( system_reset_latch == system_reset_counter ) in hpet_resume()816 system_reset_latch = system_reset_counter; in hpet_resume()
Completed in 6 milliseconds