PTE_MARKER_POISONED
return softleaf_to_marker(entry) & PTE_MARKER_POISONED;
pte_marker dstm = srcm & (PTE_MARKER_POISONED | PTE_MARKER_GUARD);
return make_pte_marker_entry(PTE_MARKER_POISONED);
if (marker & PTE_MARKER_POISONED) {
_dst_pte = make_pte_marker(PTE_MARKER_POISONED);
if (marker & PTE_MARKER_POISONED)
_dst_pte = make_pte_marker(PTE_MARKER_POISONED);