1 // SPDX-License-Identifier: GPL-2.0 2 #include <linux/dma-direct.h> 3 4 dma_addr_t __phys_to_dma(struct device *dev, phys_addr_t paddr) 5 { 6 return paddr | 0x80000000; 7 } 8 9 phys_addr_t __dma_to_phys(struct device *dev, dma_addr_t dma_addr) 10 { 11 return dma_addr & 0x7fffffff; 12 } 13