#include "clock.h"
 
 static struct map_desc realview_eb_io_desc[] __initdata = {
- { IO_ADDRESS(REALVIEW_SYS_BASE),      REALVIEW_SYS_BASE,      SZ_4K,  MT_DEVICE },
- { IO_ADDRESS(REALVIEW_GIC_CPU_BASE),  REALVIEW_GIC_CPU_BASE,  SZ_4K,  MT_DEVICE },
- { IO_ADDRESS(REALVIEW_GIC_DIST_BASE), REALVIEW_GIC_DIST_BASE, SZ_4K,  MT_DEVICE },
- { IO_ADDRESS(REALVIEW_SCTL_BASE),     REALVIEW_SCTL_BASE,     SZ_4K,  MT_DEVICE },
- { IO_ADDRESS(REALVIEW_TIMER0_1_BASE), REALVIEW_TIMER0_1_BASE, SZ_4K,  MT_DEVICE },
- { IO_ADDRESS(REALVIEW_TIMER2_3_BASE), REALVIEW_TIMER2_3_BASE, SZ_4K,  MT_DEVICE },
+       {
+               .virtual        = IO_ADDRESS(REALVIEW_SYS_BASE),
+               .pfn            = __phys_to_pfn(REALVIEW_SYS_BASE),
+               .length         = SZ_4K,
+               .type           = MT_DEVICE,
+       }, {
+               .virtual        = IO_ADDRESS(REALVIEW_GIC_CPU_BASE),
+               .pfn            = __phys_to_pfn(REALVIEW_GIC_CPU_BASE),
+               .length         = SZ_4K,
+               .type           = MT_DEVICE,
+       }, {
+               .virtual        = IO_ADDRESS(REALVIEW_GIC_DIST_BASE),
+               .pfn            = __phys_to_pfn(REALVIEW_GIC_DIST_BASE),
+               .length         = SZ_4K,
+               .type           = MT_DEVICE,
+       }, {
+               .virtual        = IO_ADDRESS(REALVIEW_SCTL_BASE),
+               .pfn            = __phys_to_pfn(REALVIEW_SCTL_BASE),
+               .length         = SZ_4K,
+               .type           = MT_DEVICE,
+       }, {
+               .virtual        = IO_ADDRESS(REALVIEW_TIMER0_1_BASE),
+               .pfn            = __phys_to_pfn(REALVIEW_TIMER0_1_BASE),
+               .length         = SZ_4K,
+               .type           = MT_DEVICE,
+       }, {
+               .virtual        = IO_ADDRESS(REALVIEW_TIMER2_3_BASE),
+               .pfn            = __phys_to_pfn(REALVIEW_TIMER2_3_BASE),
+               .length         = SZ_4K,
+               .type           = MT_DEVICE,
+       },
 #ifdef CONFIG_DEBUG_LL
- { IO_ADDRESS(REALVIEW_UART0_BASE),    REALVIEW_UART0_BASE,    SZ_4K,  MT_DEVICE },
+       {
+               .virtual        = IO_ADDRESS(REALVIEW_UART0_BASE),
+               .pfn            = __phys_to_pfn(REALVIEW_UART0_BASE),
+               .length         = SZ_4K,
+               .type           = MT_DEVICE,
+       }
 #endif
 };