#ifndef IxOsalOs_H
#define IxOsalOs_H

#ifndef IX_OSAL_CACHED
#error "Uncached memory not supported in linux environment"
#endif

static inline unsigned long __v2p(unsigned long v)
{
	if (v < 0x40000000)
		return (v & 0xfffffff);
	else
		return v;
}

#define IX_OSAL_OS_MMU_VIRT_TO_PHYS(addr)        __v2p((u32)addr)
#define IX_OSAL_OS_MMU_PHYS_TO_VIRT(addr)        (addr)

/*
 * Data cache not enabled (hopefully)
 */
#define IX_OSAL_OS_CACHE_INVALIDATE(addr, size)
#define IX_OSAL_OS_CACHE_FLUSH(addr, size)
#define HAL_DCACHE_INVALIDATE(addr, size)
#define HAL_DCACHE_FLUSH(addr, size)

#define __ixp42X			/* sr: U-Boot needs this define */

#endif /* IxOsalOs_H */