Symbol: to_msm_vma