Searched refs:vmxstate (Results 1 – 2 of 2) sorted by relevance
93 struct vmxstate { struct133 struct vmxstate state[VM_MAXCPU];
1243 struct vmxstate *vmxstate; in vmx_invvpid() local1246 vmxstate = &vmx->state[vcpu]; in vmx_invvpid()1247 if (vmxstate->vpid == 0) in vmx_invvpid()1257 vmxstate->lastcpu = NOCPU; in vmx_invvpid()1282 invvpid_desc.vpid = vmxstate->vpid; in vmx_invvpid()1300 struct vmxstate *vmxstate; in vmx_set_pcpu_defaults() local1302 vmxstate = &vmx->state[vcpu]; in vmx_set_pcpu_defaults()1303 if (vmxstate->lastcpu == curcpu) in vmx_set_pcpu_defaults()1306 vmxstate->lastcpu = curcpu; in vmx_set_pcpu_defaults()