/arch/arm/mach-virt/
../
Kconfig
Makefile
platsmp.c
virt.c