/sys/arch/arm/vexpress/
../
files.vexpress
vexpress_platform.c
vexpress_platform.h
vexpress_sysreg.c