/*
 * Copyright (C) 2004, 2007-2010, 2011-2012 Synopsys, Inc. (www.synopsys.com)
 *
 * This program is free software; you can redistribute it and/or modify
 * it under the terms of the GNU General Public License version 2 as
 * published by the Free Software Foundation.
 *
 * vineetg: Feb 2009
 *  -For AA4 board, kernel to DMA address APIs
 */

/*
 * kernel addresses are 0x800_000 based, while Bus addr are 0 based
 */

#ifndef __PLAT_DMA_ADDR_H
#define __PLAT_DMA_ADDR_H

#include <linux/device.h>

static inline unsigned long plat_dma_addr_to_kernel(struct device *dev,
						    dma_addr_t dma_addr)
{
	return dma_addr + PAGE_OFFSET;
}

static inline dma_addr_t plat_kernel_addr_to_dma(struct device *dev, void *ptr)
{
	unsigned long addr = (unsigned long)ptr;
	/*
	 * To Catch buggy drivers which can call DMA map API with kernel vaddr
	 * i.e. for buffers alloc via vmalloc or ioremap which are not
	 * gaurnateed to be PHY contiguous and hence unfit for DMA anyways.
	 * On ARC kernel virtual address is 0x7000_0000 to 0x7FFF_FFFF, so
	 * ideally we want to check this range here, but our implementation is
	 * better as it checks for even worse user virtual address as well.
	 */
	if (likely(addr >= PAGE_OFFSET))
		return addr - PAGE_OFFSET;

	BUG();
	return addr;
}

#endif