Searched refs:n_secVBit_nodes (Results 1 – 1 of 1) sorted by relevance
339 static Int n_secVBit_nodes = 0; variable1044 n_secVBit_nodes = VG_(OSetGen_Size)(secVBitTable); in set_sec_vbits8()1045 if (n_secVBit_nodes > max_secVBit_nodes) in set_sec_vbits8()1046 max_secVBit_nodes = n_secVBit_nodes; in set_sec_vbits8()