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);
