HelenOS sources

dtsb_pte_copy     171 kernel/arch/sparc64/include/arch/mm/sun4u/tsb.h extern void dtsb_pte_copy(struct pte *t, size_t index, bool ro);
dtsb_pte_copy      75 kernel/arch/sparc64/include/arch/mm/sun4v/tsb.h extern void dtsb_pte_copy(struct pte *t, bool ro);
dtsb_pte_copy     270 kernel/arch/sparc64/src/mm/sun4u/tlb.c 		dtsb_pte_copy(&t, index, true);
dtsb_pte_copy     318 kernel/arch/sparc64/src/mm/sun4u/tlb.c 		dtsb_pte_copy(&t, index, false);
dtsb_pte_copy     277 kernel/arch/sparc64/src/mm/sun4v/tlb.c 		dtsb_pte_copy(&t, true);
dtsb_pte_copy     318 kernel/arch/sparc64/src/mm/sun4v/tlb.c 		dtsb_pte_copy(&t, false);