KERNEL_IO_VBASE
#define MESON_CORE_APB3_VBASE KERNEL_IO_VBASE
vaddr_t devmap_va = KERNEL_IO_VBASE;
((KERNEL_IO_VBASE | (((a) & 0xf0000000) >> 4)) + ((a) & ~0xff000000))
((KERNEL_IO_VBASE | (a)))
DEVMAP_ENTRY(KERNEL_IO_VBASE, 0, PAGE_SIZE),
#define ARM_PTOV(p) (((p) - DEVMAP_ALIGN(uart_base)) + KERNEL_IO_VBASE)
#define CONSADDR_VA ((CONSADDR - APBH_BASE) + KERNEL_IO_VBASE)
#define TEGRA_HOST1X_VBASE (KERNEL_IO_VBASE | 0x0a000000)
#define TEGRA_PPSB_VBASE (KERNEL_IO_VBASE | 0x0b000000)
#define TEGRA_APB_VBASE (KERNEL_IO_VBASE | 0x0c000000)
#define TEGRA_AHB_A2_VBASE (KERNEL_IO_VBASE | 0x0d000000)
#define KERNEL_IO_IOREG_VBASE KERNEL_IO_VBASE
#define RK3288_CORE_VBASE KERNEL_IO_VBASE
#define RK3328_CORE_VBASE KERNEL_IO_VBASE
#define RK3399_CORE_VBASE KERNEL_IO_VBASE
#define RK3588_CORE_VBASE KERNEL_IO_VBASE
#define EXYNOS_CORE_VBASE KERNEL_IO_VBASE
#define EXYNOS_CORE_VBASE KERNEL_IO_VBASE
#define SUNXI_CORE_VBASE KERNEL_IO_VBASE
#define AM18XX_IO_VBASE KERNEL_IO_VBASE
#define CONSADDR_VA (CONSADDR - AM18XX_IO_PBASE + KERNEL_IO_VBASE)
volatile uint32_t *resetaddr = (volatile uint32_t *)(KERNEL_IO_VBASE | 0x04e00f00);
#define CONSADDR_VA ((CONSADDR - 0x44c00000) + (KERNEL_IO_VBASE | 0x04c00000))
DEVMAP_ENTRY(KERNEL_IO_VBASE | 0x04c00000, 0x44c00000, 0x00400000),
DEVMAP_ENTRY(KERNEL_IO_VBASE | 0x08000000, 0x48000000, 0x01000000),
DEVMAP_ENTRY(KERNEL_IO_VBASE | 0x0a000000, 0x4a000000, 0x01000000),
#define OMAP3_L4_CORE_VBASE KERNEL_IO_VBASE
#define OMAP4_L4_PER_VBASE KERNEL_IO_VBASE
#define ZYNQ_IOREG_VBASE KERNEL_IO_VBASE
#define KERNEL_IO_PCIE0_OWIN_VBASE KERNEL_IO_VBASE