/files.vexpress/1.6/Sat Aug 11 10:20:44 2018//Tnetbsd-11
/vexpress_platform.c/1.23/Fri Apr  7 08:55:31 2023//Tnetbsd-11
/vexpress_platform.h/1.1/Fri Jun  2 20:16:05 2017//Tnetbsd-11
/vexpress_sysreg.c/1.4/Wed Jan 27 03:10:20 2021//Tnetbsd-11
D
