NE_DEFAULT_NR_VCPUS
unsigned int ne_vcpus[NE_DEFAULT_NR_VCPUS] = {};
for (i = 0; i < NE_DEFAULT_NR_VCPUS; i++) {