android_kernel_xiaomi_sm8350/arch/arm/mach-ks8695
..
board-micrel.c
cpu.c
devices.c
generic.h
irq.c
Kconfig
Makefile
Makefile.boot
time.c