IOTSBSLOT
slot = IOTSBSLOT(trunc_page(dvmaddr), is->is_tsbsize);
if ((is->is_tsb[IOTSBSLOT(va, is->is_tsbsize)] & IOTTE_STREAM) == 0) {
is->is_tsb[IOTSBSLOT(va,is->is_tsbsize)] = tte;
"TSB[%lx]@%p=%lx\n", (int)IOTSBSLOT(va,is->is_tsbsize),
va, (long)pa, (u_long)IOTSBSLOT(va,is->is_tsbsize),
(void *)(u_long)&is->is_tsb[IOTSBSLOT(va,is->is_tsbsize)],
u_int64_t tsbid = IOTSBSLOT(va, is->is_tsbsize);
tte = is->is_tsb[IOTSBSLOT(dva, is->is_tsbsize)];
va, (u_long)IOTSBSLOT(va, is->is_tsbsize),
&is->is_tsb[IOTSBSLOT(va, is->is_tsbsize)]));
(int)IOTSBSLOT(va,is->is_tsbsize), (void *)(u_long)va,
is->is_tsb[IOTSBSLOT(va,is->is_tsbsize)] &= ~IOTTE_V;
slot = IOTSBSLOT(trunc_page(va), is->is_tsbsize);
u_int64_t tsbid = IOTSBSLOT(va, is->is_tsbsize);
slot = IOTSBSLOT(trunc_page(dvmaddr), is->is_tsbsize);
slot = IOTSBSLOT(trunc_page(dvmaddr), is->is_tsbsize);