make_pte_marker
make_pte_marker(PTE_MARKER_UFFD_WP));
make_pte_marker(PTE_MARKER_UFFD_WP), psize);
make_pte_marker(PTE_MARKER_UFFD_WP));
make_pte_marker(marker), sz);
make_pte_marker(PTE_MARKER_UFFD_WP),
make_pte_marker(PTE_MARKER_UFFD_WP),
_dst_pte = make_pte_marker(PTE_MARKER_POISONED);
make_pte_marker(PTE_MARKER_UFFD_WP),
*ptep = make_pte_marker(PTE_MARKER_GUARD);
make_pte_marker(marker));
make_pte_marker(PTE_MARKER_UFFD_WP));
_dst_pte = make_pte_marker(PTE_MARKER_POISONED);