Searched refs:tlbflush_clock (Results 1 – 3 of 3) sorted by relevance
22 u32 tlbflush_clock = 1U; variable37 t = tlbflush_clock; in pre_flush()45 while ( unlikely((t = cmpxchg(&tlbflush_clock, t1, t2)) != t1) ); in pre_flush()
251 ASSERT(tlbflush_clock == 0); in new_tlbflush_clock_period()252 tlbflush_clock++; in new_tlbflush_clock_period()
19 extern u32 tlbflush_clock;24 #define tlbflush_current_time() tlbflush_clock
Completed in 4 milliseconds