KiSynchronizeStibpPairing

INT64 __fastcall KiSynchronizeStibpPairing(INT64 a1){
  unsigned __int8 CurrentIrql; 
  __int64 v3; 
  INT64 v4; 
  UINT16 v5[2]; 
  INT64 result[21]; 
  memset((INT64)result + 4, 0i64);
  CurrentIrql = KeGetCurrentIrql();
  __writecr8(0xCui64);
  v3 = *(_QWORD *)(a1 + 11696);
  *(_DWORD *)v5 = 1310721;
  memset((INT64)result, 0i64);
  KeAddProcessorAffinityEx(v5, *(_DWORD *)(v3 + 36));
  KiIpiSendPacket(0i64, v5, (INT64)KiSynchronizeStibpPairingTarget, 0i64, 0i64, 0i64);
  while( *(_DWORD *)(a1 + 11648) )
    _mm_pause();
  v4 = CurrentIrql;
  __writecr8(CurrentIrql);
  return v4;
}

Referenced by: