HelenOS sources

itsb_pte_copy     170 kernel/arch/sparc64/include/arch/mm/sun4u/tsb.h extern void itsb_pte_copy(struct pte *t, size_t index);
itsb_pte_copy      74 kernel/arch/sparc64/include/arch/mm/sun4v/tsb.h extern void itsb_pte_copy(struct pte *t);
itsb_pte_copy     213 kernel/arch/sparc64/src/mm/sun4u/tlb.c 		itsb_pte_copy(&t, index);
itsb_pte_copy     227 kernel/arch/sparc64/src/mm/sun4v/tlb.c 		itsb_pte_copy(&t);