__vm_create_with_one_vcpu
vm = __vm_create_with_one_vcpu(vcpu, num_guest_pages, guest_code);
return __vm_create_with_one_vcpu(vcpu, 0, guest_code);
data->vm = __vm_create_with_one_vcpu(&data->vcpu, mempages, guest_code);