CVS: cvs.openbsd.org: src

Wed, 04 Jul 2018 20:49:10 -0700 

CVSROOT:        /cvs
Module name:    src
Changes by:     [email protected] 2018/07/04 21:48:45

Modified files:
        sys/arch/amd64/amd64: vmm.c 

Log message:
vmm(4): add some utility functions for checking vcpu cpl and mode

ok pd@, guenther@

Reply via email to