platsmp.h   13 arch/arm/mach-bcm/board_bcm2835.c #include "platsmp.h"
platsmp.h   16 arch/arm/mach-realview/platsmp-dt.c #include <plat/platsmp.h>
platsmp.h   19 arch/arm/mach-vexpress/platsmp.c #include <plat/platsmp.h>
platsmp.h   18 arch/arm/plat-versatile/hotplug.c #include <plat/platsmp.h>
platsmp.h   23 arch/arm/plat-versatile/platsmp.c #include <plat/platsmp.h>