254       MC_Mempool* mp;  in live_block()  local
256       while ( (mp = VG_(HT_Next)(MC_(mempool_list))) ) {  in live_block()
257          if ( in_block_list (mp->chunks, mc) )  in live_block()
675 static void check_mempool_sane(MC_Mempool* mp); /*forward*/
680    MC_Mempool* mp;  in MC_()  local
689    mp = VG_(HT_lookup)(MC_(mempool_list), (UWord)pool);  in MC_()
690    if (mp != NULL) {  in MC_()
694    mp = VG_(malloc)("mc.cm.1", sizeof(MC_Mempool));  in MC_()
695    mp->pool       = pool;  in MC_()
696    mp->rzB        = rzB;  in MC_()
697    mp->is_zeroed  = is_zeroed;  in MC_()
698    mp->chunks     = VG_(HT_construct)( "MC_(create_mempool)" );  in MC_()
699    check_mempool_sane(mp);  in MC_()
706    if (!MC_(check_mem_is_noaccess)( (Addr)mp, sizeof(MC_Mempool), NULL )) {  in MC_()
710    VG_(HT_add_node)( MC_(mempool_list), mp );  in MC_()
716    MC_Mempool* mp;  in MC_()  local
724    mp = VG_(HT_remove) ( MC_(mempool_list), (UWord)pool );  in MC_()
726    if (mp == NULL) {  in MC_()
731    check_mempool_sane(mp);  in MC_()
734    VG_(HT_ResetIter)(mp->chunks);  in MC_()
735    while ( (mc = VG_(HT_Next)(mp->chunks)) ) {  in MC_()
738       MC_(make_mem_noaccess)(mc->data-mp->rzB, mc->szB + 2*mp->rzB );  in MC_()
741    VG_(HT_destruct)(mp->chunks, (void (*)(void *))delete_MC_Chunk);  in MC_()
743    VG_(free)(mp);  in MC_()
757 check_mempool_sane(MC_Mempool* mp)  in check_mempool_sane()  argument
762    MC_Chunk **chunks = (MC_Chunk**) VG_(HT_to_array)( mp->chunks, &n_chunks );  in check_mempool_sane()
834    MC_Mempool* mp;  in MC_()  local
842    mp = VG_(HT_lookup) ( MC_(mempool_list), (UWord)pool );  in MC_()
843    if (mp == NULL) {  in MC_()
846       if (MP_DETAILED_SANITY_CHECKS) check_mempool_sane(mp);  in MC_()
847       MC_(new_block)(tid, addr, szB, /*ignored*/0, mp->is_zeroed,  in MC_()
848                      MC_AllocCustom, mp->chunks);  in MC_()
849       if (mp->rzB > 0) {  in MC_()
854          MC_(make_mem_noaccess) ( addr - mp->rzB, mp->rzB);  in MC_()
855          MC_(make_mem_noaccess) ( addr + szB, mp->rzB);  in MC_()
857       if (MP_DETAILED_SANITY_CHECKS) check_mempool_sane(mp);  in MC_()
863    MC_Mempool*  mp;  in MC_()  local
867    mp = VG_(HT_lookup)(MC_(mempool_list), (UWord)pool);  in MC_()
868    if (mp == NULL) {  in MC_()
878    if (MP_DETAILED_SANITY_CHECKS) check_mempool_sane(mp);  in MC_()
879    mc = VG_(HT_remove)(mp->chunks, (UWord)addr);  in MC_()
891    die_and_free_mem ( tid, mc, mp->rzB );  in MC_()
892    if (MP_DETAILED_SANITY_CHECKS) check_mempool_sane(mp);  in MC_()
898    MC_Mempool*  mp;  in MC_()  local
910    mp = VG_(HT_lookup)(MC_(mempool_list), (UWord)pool);  in MC_()
911    if (mp == NULL) {  in MC_()
916    check_mempool_sane(mp);  in MC_()
917    chunks = VG_(HT_to_array) ( mp->chunks, &n_shadows );  in MC_()
948          if (VG_(HT_remove)(mp->chunks, (UWord)mc->data) == NULL) {  in MC_()
951             if (MP_DETAILED_SANITY_CHECKS) check_mempool_sane(mp);  in MC_()
954          die_and_free_mem ( tid, mc, mp->rzB );    in MC_()
963          if (VG_(HT_remove)(mp->chunks, (UWord)mc->data) == NULL) {  in MC_()
966             if (MP_DETAILED_SANITY_CHECKS) check_mempool_sane(mp);  in MC_()
1000          VG_(HT_add_node)( mp->chunks, mc );          in MC_()
1006    check_mempool_sane(mp);  in MC_()
1012    MC_Mempool* mp;  in MC_()  local
1020    mp = VG_(HT_remove) ( MC_(mempool_list), (UWord)poolA );  in MC_()
1022    if (mp == NULL) {  in MC_()
1028    mp->pool = poolB;  in MC_()
1029    VG_(HT_add_node)( MC_(mempool_list), mp );  in MC_()
1034    MC_Mempool*  mp;  in MC_()  local
1044    mp = VG_(HT_lookup)(MC_(mempool_list), (UWord)pool);  in MC_()
1045    if (mp == NULL) {  in MC_()
1050    check_mempool_sane(mp);  in MC_()
1052    mc = VG_(HT_remove)(mp->chunks, (UWord)addrA);  in MC_()
1060    VG_(HT_add_node)( mp->chunks, mc );  in MC_()
1062    check_mempool_sane(mp);  in MC_()
1067    MC_Mempool*  mp;  in MC_()  local
1069    mp = VG_(HT_lookup)(MC_(mempool_list), (UWord)pool);  in MC_()
1070    if (mp == NULL) {  in MC_()