zap_vma_ptes(9) on Linux

The text 5c114a213f84, as Debian 9 (Stretch) shipped it. The page shows this text now.

remove ptes mapping the vma

zap_vma_ptes(9) on Linux now