CVS: cvs.openbsd.org: src

[Mike Larkin]

CVSROOT:        /cvs
Module name:    src
Changes by:     mlar...@cvs.openbsd.org 2017/05/19 00:29:21

Modified files:
        sys/arch/amd64/amd64: identcpu.c vmm.c 
        sys/arch/amd64/include: vmmvar.h 

Log message:
Respect max VPID/ASID limits. VMX VPIDs are capped at 4095, for now.