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