usr/src/uts/intel/io/vmm/amd/svm.c

475

vcpu->lastcpu = NOCPU;

usr/src/uts/intel/io/vmm/intel/vmx.c

891

vmx->state[i].lastcpu = NOCPU;

usr/src/uts/intel/io/vmm/intel/vmx.c

957

vmxstate->lastcpu = NOCPU;

usr/src/uts/intel/io/vmm/vmm.c

1522

KASSERT(vcpu->hostcpu == NOCPU, ("Invalid hostcpu %d for a "

usr/src/uts/intel/io/vmm/vmm.c

1553

vcpu->hostcpu = NOCPU;

usr/src/uts/intel/io/vmm/vmm.c

3623

KASSERT(hostcpu != NOCPU, ("vcpu running on invalid hostcpu"));

usr/src/uts/intel/io/vmm/vmm.c

3639

KASSERT(hostcpu == NOCPU, ("vcpu state %d not consistent "

usr/src/uts/intel/io/vmm/vmm.c

411

vcpu->hostcpu = NOCPU;

usr/src/uts/intel/io/vmm/vmm.c

412

vcpu->lastloccpu = NOCPU;