#ifndef IxOsalOs_H#define IxOsalOs_H#ifndef IX_OSAL_CACHED#error "Uncached memory not supported in linux environment"#endifstatic 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 */