KiFlushCurrentTbWorker

VOID __stdcall KiFlushCurrentTbWorker(){
  unsigned __int64 v0; 
  unsigned __int64 v1; 
  unsigned __int64 v2; 
  if( KiFlushPcid )
  {
    v0 = __readcr3();
    __writecr3(v0);
    if( !*(_BYTE *)(*((_QWORD *)KeGetCurrentThread() + 23) + 912i64) )
      KiSetUserTbFlushPending();
  }
  else
  {
    v1 = __readcr4();
    if( (v1 & 0x20080) != 0 )
    {
      __writecr4(v1 ^ 0x80);
      __writecr4(v1);
    }
    else
    {
      v2 = __readcr3();
      __writecr3(v2);
    }
  }
}

Referenced by: