5 #error "Uncached memory not supported in linux environment"
8 static inline unsigned long __v2p(unsigned long v)
11 return (v & 0xfffffff);
16 #define IX_OSAL_OS_MMU_VIRT_TO_PHYS(addr) __v2p((u32)addr)
17 #define IX_OSAL_OS_MMU_PHYS_TO_VIRT(addr) (addr)
20 * Data cache not enabled (hopefully)
22 #define IX_OSAL_OS_CACHE_INVALIDATE(addr, size)
23 #define IX_OSAL_OS_CACHE_FLUSH(addr, size)
24 #define HAL_DCACHE_INVALIDATE(addr, size)
25 #define HAL_DCACHE_FLUSH(addr, size)
27 #define __ixp42X /* sr: U-Boot needs this define */
29 #endif /* IxOsalOs_H */