Searched refs:vmxstate (Results 1 – 2 of 2) sorted by relevance
90 struct vmxstate { struct140 struct vmxstate state[VM_MAXCPU];
949 struct vmxstate *vmxstate; in vmx_invvpid() local952 vmxstate = &vmx->state[vcpu]; in vmx_invvpid()953 if (vmxstate->vpid == 0) { in vmx_invvpid()964 vmxstate->lastcpu = NOCPU; in vmx_invvpid()978 .vpid = vmxstate->vpid, in vmx_invvpid()1022 struct vmxstate *vmxstate; in vmx_set_pcpu_defaults() local1038 vmxstate = &vmx->state[vcpu]; in vmx_set_pcpu_defaults()1039 if (vmxstate->lastcpu == curcpu) in vmx_set_pcpu_defaults()1042 vmxstate->lastcpu = curcpu; in vmx_set_pcpu_defaults()