The text e497ed3eb916, as Debian 7 (Wheezy) shipped it.
remove ptes mapping the vma
zap_vma_ptes(9) on Linux now
