vmcb_getdesc
return (vmcb_getdesc(vcpui, reg, desc));
ret = vmcb_getdesc(vcpu, reg, &desc);
int vmcb_getdesc(struct svm_vcpu *vcpu, int ident, struct seg_desc *desc);