KeFlushEntireTb

VOID __stdcall KeFlushEntireTb(UINT8 Invalid, UINT8 AllProcessors){
  INT64 v2; 
  unsigned __int8 CurrentIrql; 
  char v4; 
  char v5; 

  v4 = 0;
  v5 = 0;
  LOBYTE(v2) = 1;
  KiPreprocessFlushTb(v2, 3i64, 2i64, &v4);
  if( v4 )
    KiFlushAddressSpaceTb(0i64, 0);
  else
    KxFlushEntireTb(FlushAllProcessors);
  if( *(&stru_140CF2E80 + 1830) )
  {
    CurrentIrql = KeGetCurrentIrql();
    __writecr8(0xFui64);
    ExFlushTb(0i64, 0i64, FlushEntire);
    __writecr8(CurrentIrql);
  }
}

Referenced by: