svm_allocate_nested
int ret = svm_allocate_nested(svm);
if (svm_allocate_nested(svm))
int svm_allocate_nested(struct vcpu_svm *svm);