unsigned long pte;
} __attribute__((aligned(TSB_ENTRY_ALIGNMENT)));
+extern void __tsb_insert(unsigned long ent, unsigned long tag, unsigned long pte);
+extern void tsb_flush(unsigned long ent, unsigned long tag);
+
typedef struct {
unsigned long sparc64_ctx_val;
struct tsb *tsb;
+ unsigned long tsb_rss_limit;
unsigned long tsb_nentries;
unsigned long tsb_reg_val;
unsigned long tsb_map_vaddr;