/hypercalls.h/1.2/Sat Apr 25 15:26:17 2020//Tnetbsd-11-0-RC1
D
