Searched refs:tlb_flush_count (Results 1 – 1 of 1) sorted by relevance
209 static int tlb_flush_count; variable1797 tlb_flush_count++; in tlb_flush()3724 cpu_fprintf(f, "TLB flush count %d\n", tlb_flush_count); in dump_exec_info()