__nested_vmcb_check_save
!__nested_vmcb_check_save(vcpu, &save_cached))
return __nested_vmcb_check_save(vcpu, save);