INT64 __stdcall XRestoreSHelper(INT64 RCX, INT64 a2){ INT64 result; result = a2; _xrstors((void *)RCX); return result; }