NOCPU
vcpu->lastcpu = NOCPU;
vmx->state[i].lastcpu = NOCPU;
vmxstate->lastcpu = NOCPU;
KASSERT(vcpu->hostcpu == NOCPU, ("Invalid hostcpu %d for a "
vcpu->hostcpu = NOCPU;
KASSERT(hostcpu != NOCPU, ("vcpu running on invalid hostcpu"));
KASSERT(hostcpu == NOCPU, ("vcpu state %d not consistent "
vcpu->hostcpu = NOCPU;
vcpu->lastloccpu = NOCPU;