Symbol: zap_special_vma_range