Symbol: dvma3_alloc