| #define __MMIO_P2V(x) (((x) & 0xfffff) | (((x) & 0x0f000000) >> 4) | 0xf8000000) |
| #define MMIO_P2V(x) ((void __iomem *)__MMIO_P2V(x)) |
| |
| #define AMBA_DEVICE(name,busid,base,plat) \ |
| struct amba_device name##_device = { \ |
| .dev = { \ |
| .coherent_dma_mask = ~0UL, \ |
| .init_name = busid, \ |
| .platform_data = plat, \ |
| }, \ |
| .res = { \ |
| .start = base, \ |
| .end = base + SZ_4K - 1, \ |
| .flags = IORESOURCE_MEM, \ |
| }, \ |
| .dma_mask = ~0UL, \ |
| .irq = IRQ_##base, \ |
| /* .dma = DMA_##base,*/ \ |
| } |
| |
| struct map_desc; |
| |
| void v2m_map_io(struct map_desc *tile, size_t num); |
| extern struct sys_timer v2m_timer; |
| |
| extern void __iomem *gic_cpu_base_addr; |
