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