Symbol: dvma3x_alloc