ixosalos.h

来自「Uboot源码,非常通用的bootloader.适用于各种平台的Linux系统引」· C头文件 代码 · 共 31 行

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