TSTAT_CPU0_TLBDATA_OFFS
uintptr_t tmptick = TSTAT_CPU0_TLBDATA_OFFS(tcpu, tdata_tmptick);
stat = TSTAT_CPU0_TLBDATA_OFFS(tcpu, tdata_traps[entno]);
tmptick = TSTAT_CPU0_TLBDATA_OFFS(tcpu, tdata_tmptick);