MAX_VIRT_CPUS
if (vwp->vw_count++ >= MAX_VIRT_CPUS)
struct vcpu *vcpu[MAX_VIRT_CPUS];
struct vcpu_info vcpu_info[MAX_VIRT_CPUS];
for (id = 0; id < MAX_VIRT_CPUS; id++)