UINT64 __fastcall HalpFlushAndWait(INT32 *a1){ _BYTE *v1; KeSweepLocalCaches((INT64)a1, v1); _InterlockedIncrement(a1); do _mm_pause(); while( *a1 ); return HalpProcessorFence(); }