866 static OSet* secVBitTable;  variable
942    VG_(OSetGen_ResetIter)(secVBitTable);  in gcSecVBitTable()
943    while ( (n = VG_(OSetGen_Next)(secVBitTable)) ) {  in gcSecVBitTable()
961    n_nodes     = VG_(OSetGen_Size)(secVBitTable);  in gcSecVBitTable()
965    VG_(OSetGen_Destroy)(secVBitTable);  in gcSecVBitTable()
966    secVBitTable = secVBitTable2;  in gcSecVBitTable()
998    SecVBitNode* n        = VG_(OSetGen_Lookup)(secVBitTable, &aAligned);  in get_sec_vbits8()
1012    SecVBitNode* n        = VG_(OSetGen_Lookup)(secVBitTable, &aAligned);  in set_sec_vbits8()
1022       if (secVBitLimit == VG_(OSetGen_Size)(secVBitTable)) {  in set_sec_vbits8()
1028       n = VG_(OSetGen_AllocNode)(secVBitTable, sizeof(SecVBitNode));  in set_sec_vbits8()
1036       VG_(OSetGen_Insert)(secVBitTable, n);  in set_sec_vbits8()
1039       n_secVBit_nodes = VG_(OSetGen_Size)(secVBitTable);  in set_sec_vbits8()
5054    secVBitTable = createSecVBitTable();  in init_shadow_memory()
5120       if (0 != VG_(OSetGen_Size)(secVBitTable))  in mc_expensive_sanity_check()