KeFlushEntireTb

VOID __stdcall KeFlushEntireTb(UINT8 Invalid, UINT8 AllProcessors){
  INT64 v2; 
  unsigned __int8 CurrentIrql; 
  BYTE v4; 
  char v5; 
  v4 = 0;
  v5 = 0;
  LOBYTE(v2) = 1;
  KiPreprocessFlushTb(v2, 3i64, 2i64, &v4);
  if( v4 )
    KiFlushAddressSpaceTb(0i64, 0);
  else
    KxFlushEntireTb(2);
  if( ExTbFlushActive )
  {
    CurrentIrql = KeGetCurrentIrql();
    __writecr8(0xFui64);
    ExFlushTb(0, 0i64, 3);
    __writecr8(CurrentIrql);
  }
}

Referenced by: