Symbol: zap_vma_range