The text 6af5a7e2c52b, as Debian 6.0 (Squeeze) shipped it.
remove ptes mapping the vma
zap_vma_ptes(9) on Linux now
