Home | History | Annotate | Download | only in coregrind

Lines Matching refs:sec

143       //    sec->ec2tte[ tte2ec_ec[i] ][ tte2ec_ix[i] ] 
384 UInt addEClassNo ( /*MOD*/Sector* sec, Int ec, UShort tteno )
394 if (sec->ec2tte_used[ec] >= sec->ec2tte_size[ec]) {
396 vg_assert(sec->ec2tte_used[ec] == sec->ec2tte_size[ec]);
398 old_sz = sec->ec2tte_size[ec];
399 old_ar = sec->ec2tte[ec];
407 sec->ec2tte_size[ec] = new_sz;
408 sec->ec2tte[ec] = new_ar;
414 r = sec->ec2tte_used[ec]++;
415 vg_assert(r >= 0 && r < sec->ec2tte_size[ec]);
416 sec->ec2tte[ec][r] = tteno;
421 /* 'vge' is being added to 'sec' at TT entry 'tteno'. Add appropriate
422 eclass entries to 'sec'. */
425 void upd_eclasses_after_add ( /*MOD*/Sector* sec, Int tteno )
431 tte = &sec->tt[tteno];
439 tte->tte2ec_ix[i] = addEClassNo( sec, eclasses[i], (UShort)tteno );
444 /* Check the eclass info in 'sec' to ensure it is consistent. Returns
447 static Bool sanity_check_eclasses_in_sector ( Sector* sec )
458 if (sec->tt_n_inuse < 0 || sec->tt_n_inuse > N_TTES_PER_SECTOR_USABLE)
459 BAD("invalid sec->tt_n_inuse");
460 tce = sec->tc_next;
461 if (tce < &sec->tc[0] || tce > &sec->tc[tc_sector_szQ])
462 BAD("sec->tc_next points outside tc");
466 if (sec->ec2tte_size[i] == 0 && sec->ec2tte[i] != NULL)
468 if (sec->ec2tte_size[i] != 0 && sec->ec2tte[i] == NULL)
470 if (sec->ec2tte_used[i] < 0
471 || sec->ec2tte_used[i] > sec->ec2tte_size[i])
473 if (sec->ec2tte_used[i] == 0)
480 for (j = 0; j < sec
481 tteno = sec->ec2tte[i][j];
486 tte = &sec->tt[tteno];
504 if (ec_idx < 0 || ec_idx >= sec->ec2tte_used[i])
523 tte = &sec->tt[i];
540 if (ec_idx < 0 || ec_idx >= sec->ec2tte_used[ec_num])
542 if (sec->ec2tte[ec_num][ec_idx] != i)
622 Sector* sec;
624 sec = &sectors[sno];
625 if (sec->tc == NULL)
627 sane = sanity_check_eclasses_in_sector( sec );
751 Sector* sec;
757 sec = &sectors[sno];
759 if (sec->tc == NULL) {
763 vg_assert(sec->tt == NULL);
764 vg_assert(sec->tc_next == NULL);
765 vg_assert(sec->tt_n_inuse == 0);
767 vg_assert(sec->ec2tte_size[i] == 0);
768 vg_assert(sec->ec2tte_used[i] == 0);
769 vg_assert(sec->ec2tte[i] == NULL);
780 sec->tc = (ULong*)(AddrH)sr_Res(sres);
789 sec->tt = (TTEntry*)(AddrH)sr_Res(sres);
792 sec->tt[i].status = Empty;
793 sec->tt[i].n_tte2ec = 0;
811 vg_assert(sec->tt != NULL);
812 vg_assert(sec->tc_next != NULL);
813 n_dump_count += sec->tt_n_inuse;
817 if (sec->tt[i].status == InUse) {
818 vg_assert(sec->tt[i].n_tte2ec >= 1);
819 vg_assert(sec->tt[i].n_tte2ec <= 3);
820 n_dump_osize += vge_osize(&sec->tt[i].vge);
824 sec->tt[i].entry,
825 sec->tt[i].vge );
828 vg_assert(sec->tt[i].n_tte2ec == 0);
830 sec->tt[i].status = Empty;
831 sec->tt[i].n_tte2ec = 0;
836 if (sec->ec2tte_size[i] == 0) {
837 vg_assert(sec->ec2tte_used[i] == 0);
838 vg_assert(sec->ec2tte[i] == NULL);
840 vg_assert(sec->ec2tte[i] != NULL);
841 VG_(arena_free)(VG_AR_TTAUX, sec->ec2tte[i]);
842 sec->ec2tte[i] = NULL;
843 sec->ec2tte_size[i] = 0;
844 sec->ec2tte_used[i] = 0;
860 sec->tc_next = sec->tc;
861 sec->tt_n_inuse = 0;
1150 static void delete_tte ( /*MOD*/Sector* sec, Int tteno )
1156 tte = &sec->tt[tteno];
1166 vg_assert(ec_idx < sec->ec2tte_used[ec_num]);
1168 vg_assert(sec->ec2tte[ec_num][ec_idx] == (UShort)tteno);
1170 sec->ec2tte[ec_num][ec_idx] = EC2TTE_DELETED;
1178 sec->tt_n_inuse--;
1191 /* Delete translations from sec which intersect specified range, but
1195 Bool delete_translations_in_sector_eclass ( /*MOD*/Sector* sec,
1206 for (i = 0; i < sec->ec2tte_used[ec]; i++) {
1208 tteno = sec->ec2tte[ec][i];
1216 tte = &sec->tt[tteno];
1221 delete_tte( sec, (Int)tteno );
1230 /* Delete translations from sec which intersect specified range, the
1231 slow way, by inspecting all translations in sec. */
1234 Bool delete_translations_in_sector ( /*MOD*/Sector* sec,
1241 if (sec->tt[i].status == InUse
1242 && overlaps( guest_start, range, &sec->tt[i].vge )) {
1244 delete_tte( sec, i );
1255 Sector* sec;
1309 sec = &sectors[sno];
1310 if (sec->tc == NULL)
1313 sec, guest_start, range, ec );
1315 sec, guest_start, range, ECLASS_MISC );
1326 sec = &sectors[sno];
1327 if (sec->tc == NULL)
1330 sec, guest_start, range );
1350 sec = &sectors[sno];
1351 if (sec->tc == NULL)
1354 tte = &sec->tt[i];