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