add_2vcpus_init_2vcpus
ret = add_2vcpus_init_2vcpus(&init0, &init0);
ret = add_2vcpus_init_2vcpus(&init0, &init1);