copy_pte_marker
const pte_marker marker = copy_pte_marker(softleaf, dst_vma);
pte_marker marker = copy_pte_marker(entry, dst_vma);