taglinefilesource code
dst_pte218mm/memory.cpte_t * src_pte, * dst_pte;
dst_pte233mm/memory.cdst_pte = pte_offset(dst_pmd, address);
dst_pte242mm/memory.ccopy_one_pte(src_pte++, dst_pte++);