Searched refs:n_secVBit_nodes (Results 1 – 1 of 1) sorted by relevance
334 static Int n_secVBit_nodes = 0; variable1039 n_secVBit_nodes = VG_(OSetGen_Size)(secVBitTable); in set_sec_vbits8()1040 if (n_secVBit_nodes > max_secVBit_nodes) in set_sec_vbits8()1041 max_secVBit_nodes = n_secVBit_nodes; in set_sec_vbits8()