Symbol: dvma_free