acrn-kernel/arch/arm/mach-socfpga
..
Kconfig
Makefile
core.h
headsmp.S
l2_cache.c
ocram.c
platsmp.c
pm.c
self-refresh.S
socfpga.c