Symbol: dvma2_alloc