u-boot/cpu/ixp/npe/include/IxOsalOs.h

31 lines
670 B
C
Raw Normal View History

#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 */