KiFlushAddressSpaceTb

VOID __stdcall KiFlushAddressSpaceTb(UINT64 AddressSpace, UINT8 Global){
  char v2; 
  unsigned __int8 CurrentIrql; 
  if( AddressSpace || Global || !v2 )
  {
    HvlFlushAddressSpaceTb(AddressSpace, Global);
  }
  else
  {
    CurrentIrql = KeGetCurrentIrql();
    __writecr8(0xCui64);
    if( KxSetTimeStampBusy((INT64 *)&KiTbFlushTimeStamp) )
    {
      HvlpSlowFlushAddressSpaceTb(0i64, 0);
      _InterlockedIncrement((volatile signed __int32 *)&KiTbFlushTimeStamp);
    }
    __writecr8(CurrentIrql);
  }
}

Referenced by: