1 #define __MMIO_P2V(x) (((x) & 0xfffff) | (((x) & 0x0f000000) >> 4) | 0xf8000000)
2 #define MMIO_P2V(x) ((void __iomem *)__MMIO_P2V(x))
4 #define AMBA_DEVICE(name,busid,base,plat) \
5 struct amba_device name##_device = { \
7 .coherent_dma_mask = ~0UL, \
9 .platform_data = plat, \
13 .end = base + SZ_4K - 1, \
14 .flags = IORESOURCE_MEM, \
18 /* .dma = DMA_##base,*/ \
23 void v2m_map_io(struct map_desc *tile, size_t num);
24 extern struct sys_timer v2m_timer;
26 extern void __iomem *gic_cpu_base_addr;