Searched refs:max_secVBit_nodes (Results 1 – 1 of 1) sorted by relevance
340 static Int max_secVBit_nodes = 0; variable1045 if (n_secVBit_nodes > max_secVBit_nodes) in set_sec_vbits8()1046 max_secVBit_nodes = n_secVBit_nodes; in set_sec_vbits8()7565 max_secVBit_szB = max_secVBit_nodes * in mc_print_stats()7571 max_secVBit_nodes, max_secVBit_szB / 1024, in mc_print_stats()