IOTSBSLOT
if ((is->is_tsb[IOTSBSLOT(va, is->is_tsbsize)] & IOTTE_STREAM) == 0) {
slot = IOTSBSLOT(e->ipe_va, is->is_tsbsize);
slot = IOTSBSLOT(e->ipe_va, is->is_tsbsize);
volatile int64_t *tte_ptr = &is->is_tsb[IOTSBSLOT(va,is->is_tsbsize)];
(int)IOTSBSLOT(va,is->is_tsbsize), (void *)(u_long)va));
va, (long)pa, (u_long)IOTSBSLOT(va,is->is_tsbsize),
(void *)(u_long)&is->is_tsb[IOTSBSLOT(va,is->is_tsbsize)],
int64_t *tte_ptr = &is->is_tsb[IOTSBSLOT(va, is->is_tsbsize)];
tte = is->is_tsb[IOTSBSLOT(dva, is->is_tsbsize)];
tte = is->is_tsb[IOTSBSLOT(dva, is->is_tsbsize)];
tte = is->is_tsb[IOTSBSLOT(dva,is->is_tsbsize)];
u_int64_t tsbid = IOTSBSLOT(va, is->is_tsbsize);
u_int64_t tsbid = IOTSBSLOT(va, is->is_tsbsize);