just to be clear, the hypervisor's code is this one : http://cvsweb.openbsd.org/cgi-bin/cvsweb/~checkout~/src/sys/...