vmxstate
struct vmxstate *vmxstate;
vmxstate = &vmx->state[vcpu];
if (vmxstate->lastcpu == curcpu)
vmxstate->lastcpu = curcpu;
struct vmxstate *vmxstate;
vmxstate = &vmx->state[vcpu];
if (vmxstate->vpid == 0) {
vmxstate->lastcpu = NOCPU;
.vpid = vmxstate->vpid,
struct vmxstate state[VM_MAXCPU];