HelenOS sources

VA_TAG_PAGE_SHIFT  106 kernel/arch/sparc64/src/mm/sun4u/tsb.c 	tte->tag.va_tag = t->page >> VA_TAG_PAGE_SHIFT;
VA_TAG_PAGE_SHIFT  150 kernel/arch/sparc64/src/mm/sun4u/tsb.c 	tte->tag.va_tag = t->page >> VA_TAG_PAGE_SHIFT;
VA_TAG_PAGE_SHIFT  103 kernel/arch/sparc64/src/mm/sun4v/tsb.c 	tte->tag.va_tag = t->page >> VA_TAG_PAGE_SHIFT;
VA_TAG_PAGE_SHIFT  149 kernel/arch/sparc64/src/mm/sun4v/tsb.c 	tte->tag.va_tag = t->page >> VA_TAG_PAGE_SHIFT;