Searched refs:max_secVBit_nodes (Results 1 – 1 of 1) sorted by relevance
335 static Int max_secVBit_nodes = 0; variable1043 if (n_secVBit_nodes > max_secVBit_nodes) in set_sec_vbits8()1044 max_secVBit_nodes = n_secVBit_nodes; in set_sec_vbits8()6697 max_secVBit_szB = max_secVBit_nodes * in mc_print_stats()6703 max_secVBit_nodes, max_secVBit_szB / 1024, in mc_print_stats()