HelenOS sources

tlb_tag_read_reg_t  339 kernel/arch/sparc64/src/mm/sun4u/tlb.c static void print_tlb_entry(int i, tlb_tag_read_reg_t t, tlb_data_t d)
tlb_tag_read_reg_t  355 kernel/arch/sparc64/src/mm/sun4u/tlb.c 	tlb_tag_read_reg_t t;
tlb_tag_read_reg_t  379 kernel/arch/sparc64/src/mm/sun4u/tlb.c 	tlb_tag_read_reg_t t;
tlb_tag_read_reg_t  481 kernel/arch/sparc64/src/mm/sun4u/tlb.c 	tlb_tag_read_reg_t t;