root/arch/arm/mach-vexpress/

[..]
  1. core.h
  2. dcscb.c
  3. dcscb_setup.S
  4. platsmp.c
  5. spc.c
  6. spc.h
  7. tc2_pm.c
  8. v2m-mps2.c
  9. v2m.c
[..]