blob: 6c6661341592d1a9158ae80fc55013595da8f72e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
|
#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 */
|
