Searched refs:flush_full (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()196 g_string_append_printf(buf, "TLB full flushes %zu\n", flush_full); in dump_exec_info()