Searched refs:print_pte_header (Results 1 – 1 of 1) sorted by relevance
49 static void print_pte_header(Monitor *mon) in print_pte_header() function194 print_pte_header(mon); in mem_info_svxx()