/files.vexpress/1.6/Sat Aug 11 10:20:44 2018//Tnetbsd-10
/vexpress_platform.c/1.22/Sat Apr 24 23:36:29 2021//Tnetbsd-10
/vexpress_platform.h/1.1/Fri Jun  2 20:16:05 2017//Tnetbsd-10
/vexpress_sysreg.c/1.4/Wed Jan 27 03:10:20 2021//Tnetbsd-10
D