__nested_copy_vmcb_save_to_cache
__nested_copy_vmcb_save_to_cache(&save_cached, save);
__nested_copy_vmcb_save_to_cache(&svm->nested.save, save);