KiFlushAddressSpaceTb

VOID __stdcall KiFlushAddressSpaceTb(UINT64 AddressSpace, UINT8 Global){
  INT8 v2; 
  char v3; 
  unsigned __int8 CurrentIrql; 

  if( AddressSpace || Global || !v3 )
  {
    HvlFlushAddressSpaceTb(AddressSpace, (_KAFFINITY_EX *)Global, v2);
  }
  else
  {
    CurrentIrql = KeGetCurrentIrql();
    __writecr8(0xCui64);
    if( KxSetTimeStampBusy((INT64 *)&KiTbFlushTimeStamp) )
    {
      HvlpSlowFlushAddressSpaceTb(0i64, 0);
      _InterlockedIncrement((volatile signed __int32 *)&KiTbFlushTimeStamp);
    }
    __writecr8(CurrentIrql);
  }
}

Referenced by: