TSTAT_DATA_OFFS
uintptr_t tmptick = TSTAT_DATA_OFFS(tcpu, tdata_tmptick);
stat = TSTAT_DATA_OFFS(tcpu, tdata_traps) + entoffs;
tmptick = TSTAT_DATA_OFFS(tcpu, tdata_tmptick);
stat = (uint64_t *)TSTAT_DATA_OFFS(tcpu, tdata_traps);