VM_SHAPE_DEFAULT
vm = __vm_create_shape_with_one_vcpu(VM_SHAPE_DEFAULT, &vcpu, 1, guest_code);
return ____vm_create(VM_SHAPE_DEFAULT);
return __vm_create(VM_SHAPE_DEFAULT, nr_runnable_vcpus, 0);
return __vm_create_with_vcpus(VM_SHAPE_DEFAULT, nr_vcpus, 0,
return __vm_create_shape_with_one_vcpu(VM_SHAPE_DEFAULT, vcpu,
vm = __vm_create_with_vcpus(VM_SHAPE_DEFAULT, nr_vcpus,
vm = __vm_create(VM_SHAPE_DEFAULT, 3, 0);