_V
#define GPIO_VBASE _V(0)
#define INTCTL_VBASE _V(1)
#define CLKMAN_VBASE _V(2)
#define UART_VBASE _V(3)
#define GPIO_VBASE _V(0)
#define INTCTL_VBASE _V(1)
#define CLKMAN_VBASE _V(2)
#define UART_VBASE _V(3)
#define MEMORY_DISK_VADDR _V(4)