sys/amd64/vmm/intel/vmx.c

1291

struct vmxstate *vmxstate;

sys/amd64/vmm/intel/vmx.c

1294

vmxstate = &vcpu->state;

sys/amd64/vmm/intel/vmx.c

1295

if (vmxstate->vpid == 0)

sys/amd64/vmm/intel/vmx.c

1305

vmxstate->lastcpu = NOCPU;

sys/amd64/vmm/intel/vmx.c

1330

invvpid_desc.vpid = vmxstate->vpid;

sys/amd64/vmm/intel/vmx.c

1348

struct vmxstate *vmxstate;

sys/amd64/vmm/intel/vmx.c

1350

vmxstate = &vcpu->state;

sys/amd64/vmm/intel/vmx.c

1351

if (vmxstate->lastcpu == curcpu)

sys/amd64/vmm/intel/vmx.c

1354

vmxstate->lastcpu = curcpu;

sys/amd64/vmm/intel/vmx.h

136

struct vmxstate state;