vmm: don't use invvpid if we didn't detect vpid capability during
authormlarkin <mlarkin@openbsd.org>
Fri, 28 Apr 2017 07:44:36 +0000 (07:44 +0000)
committermlarkin <mlarkin@openbsd.org>
Fri, 28 Apr 2017 07:44:36 +0000 (07:44 +0000)
commitc3b105825bcd08db832360249ef7c25163e3dd6f
tree5667e94c81bfaac07d73279e522729f845f1f39f
parent87efa19a79ec7f772492cf002050276b8ee489d3
vmm: don't use invvpid if we didn't detect vpid capability during
vcpu setup
sys/arch/amd64/amd64/vmm.c
sys/arch/amd64/include/vmmvar.h