3 kern/kern_clocksource.c standard
5 arm/arm/bus_space_generic.c standard
6 arm/arm/bus_space_asm_generic.S standard
7 arm/arm/cpufunc_asm_armv5.S standard
8 arm/arm/cpufunc_asm_arm10.S standard
9 arm/arm/cpufunc_asm_arm11.S standard
10 arm/arm/cpufunc_asm_armv7.S standard
11 arm/arm/irq_dispatch.S standard
13 arm/arm/gic.c standard
14 arm/arm/generic_timer.c standard
16 arm/samsung/exynos/arch_timer.c standard
17 arm/samsung/exynos/exynos5_mp.c optional smp
18 arm/samsung/exynos/bus_space.c standard
19 arm/samsung/exynos/common.c standard
20 arm/samsung/exynos/exynos5_machdep.c standard
21 arm/samsung/exynos/uart.c optional uart
22 arm/samsung/exynos/ehci_exynos5.c optional ehci
24 #dev/sdhci/sdhci_fdt.c optional sdhci