Symbol: zap_vma_ptes