KeZeroSinglePage

VOID __fastcall KeZeroSinglePage(VOID *PageBase){
  __int64 v1; 
  v1 = 32i64;
  do
  {
    *(_OWORD *)PageBase = 0i64;
    *((_OWORD *)PageBase + 1) = 0i64;
    *((_OWORD *)PageBase + 2) = 0i64;
    *((_OWORD *)PageBase + 3) = 0i64;
    PageBase = (char *)PageBase + 128;
    *((_OWORD *)PageBase - 4) = 0i64;
    *((_OWORD *)PageBase - 3) = 0i64;
    --v1;
    *((_OWORD *)PageBase - 2) = 0i64;
    *((_OWORD *)PageBase - 1) = 0i64;
  }
  while( v1 );
}

Referenced by: