taglinefilesource code
dst_pte225mm/memory.cpte_t * src_pte, * dst_pte;
dst_pte240mm/memory.cdst_pte = pte_offset(dst_pmd, address);
dst_pte249mm/memory.ccopy_one_pte(src_pte++, dst_pte++);