KeZeroPages

VOID __stdcall KeZeroPages(PVOID PageBase, UINT64 a2){
  UINT64 v2; 
  v2 = a2 >> 7;
  do
  {
    _mm_stream_si128((__m128i *)PageBase, (__m128i)0i64);
    _mm_stream_si128((__m128i *)PageBase + 1, (__m128i)0i64);
    _mm_stream_si128((__m128i *)PageBase + 2, (__m128i)0i64);
    _mm_stream_si128((__m128i *)PageBase + 3, (__m128i)0i64);
    PageBase = (char *)PageBase + 128;
    _mm_stream_si128((__m128i *)PageBase - 4, (__m128i)0i64);
    _mm_stream_si128((__m128i *)PageBase - 3, (__m128i)0i64);
    --v2;
    _mm_stream_si128((__m128i *)PageBase - 2, (__m128i)0i64);
    _mm_stream_si128((__m128i *)PageBase - 1, (__m128i)0i64);
  }
  while( v2 );
  _mm_sfence();
}

Referenced by: