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