Searched refs:max_secVBit_nodes (Results 1 – 1 of 1) sorted by relevance
332 static Int max_secVBit_nodes = 0; variable1011 if (n_secVBit_nodes > max_secVBit_nodes) in set_sec_vbits8()1012 max_secVBit_nodes = n_secVBit_nodes; in set_sec_vbits8()5720 max_secVBit_szB = max_secVBit_nodes * in mc_fini()5726 max_secVBit_nodes, max_secVBit_szB / 1024, in mc_fini()