Searched refs:flush_elide (Results 1 – 1 of 1) sorted by relevance
153 size_t nb_tbs, flush_full, flush_part, flush_elide; in dump_exec_info() local195 tlb_flush_counts(&flush_full, &flush_part, &flush_elide); in dump_exec_info()198 g_string_append_printf(buf, "TLB elided flushes %zu\n", flush_elide); in dump_exec_info()