VOID __stdcall KiFlushCacheLines(INT64 RCX, INT64 a2, INT64 a3){ do { _mm_clflushopt((void *)RCX); RCX += a3; a2 -= a3; } while( a2 ); _mm_sfence(); }