vcpu_on_pcpu
if (vcpu_on_pcpu(cp->cpu_id) == VCPU_NOT_ON_PCPU)
extern int vcpu_on_pcpu(processorid_t);