Symbol: EXYNOS_CORE_VBASE
sys/arch/arm/samsung/exynos_platform.c
40
#define EXYNOS_CORE_VBASE KERNEL_IO_VBASE
sys/arch/arm/samsung/exynos_soc.c
63
#define EXYNOS_CORE_VBASE KERNEL_IO_VBASE