/files.vexpress/1.6/Sat Aug 11 10:20:44 2018//Tnetbsd-9
/vexpress_platform.c/1.15/Tue Jul 23 12:34:47 2019//Tnetbsd-9
/vexpress_platform.h/1.1/Fri Jun  2 20:16:05 2017//Tnetbsd-9
/vexpress_sysreg.c/1.3/Fri Jun 30 09:19:19 2017//Tnetbsd-9
D