dtsb_pte_copy 125 kernel/arch/sparc64/src/mm/sun4u/tsb.c void dtsb_pte_copy(pte_t *t, size_t index, bool ro) dtsb_pte_copy 127 kernel/arch/sparc64/src/mm/sun4v/tsb.c void dtsb_pte_copy(pte_t *t, bool ro)