HelenOS sources

itlb_pte_copy      60 kernel/arch/sparc64/src/mm/sun4u/tlb.c static void itlb_pte_copy(pte_t *, size_t);
itlb_pte_copy     211 kernel/arch/sparc64/src/mm/sun4u/tlb.c 		itlb_pte_copy(&t, index);
itlb_pte_copy      64 kernel/arch/sparc64/src/mm/sun4v/tlb.c static void itlb_pte_copy(pte_t *);
itlb_pte_copy     225 kernel/arch/sparc64/src/mm/sun4v/tlb.c 		itlb_pte_copy(&t);