Lines Matching refs:tss
37 #include <machine/tss.h>
107 CORE_ADDR tss;
141 uintptr_t addr, cpu0prvpage, tss;
159 tss = sd.sd_hibase << 24 | sd.sd_lobase;
169 if (trunc_page(tss) == 0xffc00000) {
178 tss = cpu0prvpage + (tss & PAGE_MASK);
180 return ((CORE_ADDR)tss);
197 cache->tss = kgdb_trgt_fetch_tss();
237 if (cache->tss == 0)
239 *addrp = cache->tss + ofs;