Symbol: mei_dma_ring_is_allocated