INT64 __stdcall KiFlushCurrentRsb(){ INT64 result; signed __int64 v1; _disable(); __flush_rsb(); result = 56026i64; _mm_lfence(); if( _bittest64(&v1, 9u) ) _enable(); return result; }