itsb_pte_copy 81 kernel/arch/sparc64/src/mm/sun4u/tsb.c void itsb_pte_copy(pte_t *t, size_t index) itsb_pte_copy 80 kernel/arch/sparc64/src/mm/sun4v/tsb.c void itsb_pte_copy(pte_t *t)