op-tee os如何添加dma访问

HI  大家好：

    我现在添加spi驱动时，使用mtk的平台，他里面在spi tx rx时，需要用到dma来读写数据，

这个在op-tee os下怎么使用呢， 在代码下搜dma，没看到相关的代码。这个os下能支持

dma的读写吗？因为考虑到opos控制安全的原理，在于memory的隔离访问，这个dma是否

没有在隔离的范围下，这个我不了解。

xfer->tx_dma = dma_map_single(dev, (void *)xfer->tx_buf, xfer->len, DMA_TO_DEVICE);

xfer->rx_dma = dma_map_single(dev, xfer->rx_buf, xfer->len, DMA_FROM_DEVICE);