Symbol: is_vma_resv_set