nested_sync_control_from_vmcb02
nested_sync_control_from_vmcb02(svm);
void nested_sync_control_from_vmcb02(struct vcpu_svm *svm);