HelenOS sources

dtc_pte_copy       85 kernel/arch/ia64/include/arch/mm/tlb.h extern void dtc_pte_copy(pte_t *t);
dtc_pte_copy      613 kernel/arch/ia64/src/mm/tlb.c 		dtc_pte_copy(&t);
dtc_pte_copy      667 kernel/arch/ia64/src/mm/tlb.c 		dtc_pte_copy(&t);
dtc_pte_copy      735 kernel/arch/ia64/src/mm/tlb.c 		dtc_pte_copy(&t);
dtc_pte_copy      800 kernel/arch/ia64/src/mm/tlb.c 			dtc_pte_copy(&t);