/kernel/arch/arm/mach-socfpga/

• ../
• Kconfig
• Makefile
• core.h
• headsmp.S
• platsmp.c
• pm.c
• self-refresh.S
• socfpga.c