示例#1
0
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;
}
示例#2
0
void
sxia20_init(void)
{
	armv7_set_devs(sxia20_devs);
}
示例#3
0
文件: imx6.c 项目: darksoul42/bitrig
void
imx6_init(void)
{
	armv7_set_devs(imx6_devs);
}