INT64 __stdcall XSaveSHelper(INT64 RCX, INT64 a2){ INT64 result; result = a2; _xsaves((void *)RCX); return result; }