linux/arch/arm/mach-socfpga
..
core.h
headsmp.S
Kconfig
Makefile
platsmp.c
socfpga.c