/smccc.h/1.1.1.1/Sat Feb  2 08:03:48 2019//Tnetbsd-10-1-RELEASE
D/hvm////
