682 Bool HostExtent__is_dead (const HostExtent* hx, const Sector* sec)  in HostExtent__is_dead()
726       const Sector* sec = &sectors[sno];  in find_TTEntry_from_hcode()  local
1068 UInt addEClassNo ( /*MOD*/Sector* sec, EClassNo ec, TTEno tteno )  in addEClassNo()
1109 void upd_eclasses_after_add ( /*MOD*/Sector* sec, TTEno tteno )  in upd_eclasses_after_add()
1132 static Bool sanity_check_eclasses_in_sector ( const Sector* sec )  in sanity_check_eclasses_in_sector()
1308    Sector* sec;  in sanity_check_all_sectors()  local
1426    Sector* sec;  in initialiseSector()  local
1877 static void delete_tte ( /*MOD*/Sector* sec, SECno secNo, TTEno tteno,  in delete_tte()
1946 Bool delete_translations_in_sector_eclass ( /*MOD*/Sector* sec, SECno secNo,  in delete_translations_in_sector_eclass()
1987 Bool delete_translations_in_sector ( /*MOD*/Sector* sec, SECno secNo,  in delete_translations_in_sector()
2010    Sector* sec;  in VG_()  local