svm_seves_enter_guest
ret = svm_seves_enter_guest(vcpu->vc_control_pa,
int svm_seves_enter_guest(uint64_t, vaddr_t, struct region_descriptor *);