__io_address
#define VA_IC_BASE __io_address(INTEGRATOR_IC_BASE)
unsigned int status = readl(__io_address(0xca000000 + 4));
val = readl(__io_address(VERSATILE_SCTL_BASE));
__io_address(VERSATILE_SCTL_BASE));