void exynos4_init(void) { armv7_set_devs(exynos4_devs); gic_dist_base = GIC_DIST_ADDR; gic_dist_size = GIC_DIST_SIZE; gic_cpu_base = GIC_CPU_ADDR; gic_cpu_size = GIC_CPU_SIZE; }
void sxia20_init(void) { armv7_set_devs(sxia20_devs); }
void imx6_init(void) { armv7_set_devs(imx6_devs); }