VCPU_NUM
for (i = 0; i < VCPU_NUM; ++i) {
for (i = 0; i < VCPU_NUM; ++i)
pthread_t threads[VCPU_NUM];
for (i = 0; i < VCPU_NUM; i++)
vm = vm_create(VCPU_NUM);