MAX_BIGKTSB_TTES
#define H1MIN (2 + MAX_BIGKTSB_TTES) /* nucleus text+data, ktsb */
ASSERT(i < MAX_BIGKTSB_TTES);
ASSERT(bigktsb_nttes <= MAX_BIGKTSB_TTES);
tte_t bigktsb_ttes[MAX_BIGKTSB_TTES];
ASSERT(i < MAX_BIGKTSB_TTES);
ASSERT(bigktsb_nttes <= MAX_BIGKTSB_TTES);
tte_t bigktsb_ttes[MAX_BIGKTSB_TTES];