linux/arch/arm/mach-mediatek
…
..
Kconfig
Makefile
mediatek.c
platsmp.c