Symbol: dvma_alloc