Home
last modified time | relevance | path

Searched refs:tlbflush_clock (Results 1 – 3 of 3) sorted by relevance

/xen/xen/arch/x86/
A Dflushtlb.c33 u32 tlbflush_clock = 1U; variable
51 t = tlbflush_clock; in pre_flush()
59 while ( unlikely((t = cmpxchg(&tlbflush_clock, t1, t2)) != t1) ); in pre_flush()
A Dsmp.c301 ASSERT(tlbflush_clock == 0); in new_tlbflush_clock_period()
302 tlbflush_clock++; in new_tlbflush_clock_period()
/xen/xen/include/asm-x86/
A Dflushtlb.h19 extern u32 tlbflush_clock;
30 return tlb_clk_enabled ? tlbflush_clock : 0; in tlbflush_current_time()

Completed in 4 milliseconds