/kernel/arch/arm/mach-axxia/

• ../
• Kconfig
• Makefile
• axxia.c
• platsmp.c