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