Lines Matching defs:vmxstate

1289 	struct vmxstate *vmxstate;
1292 	vmxstate = &vcpu->state;
1293 	if (vmxstate->vpid == 0)
1303 		vmxstate->lastcpu = NOCPU;
1328 		invvpid_desc.vpid = vmxstate->vpid;
1346 	struct vmxstate *vmxstate;
1348 	vmxstate = &vcpu->state;
1349 	if (vmxstate->lastcpu == curcpu)
1352 	vmxstate->lastcpu = curcpu;