HalpLbrConfigurationWorker

INT64 __fastcall HalpLbrConfigurationWorker(INT64 a1, UINT8 a2){
  int v2; 
  unsigned int v3; 
  int v4; 
  INT64 result; 
  v2 = a1;
  v3 = a2;
  HalpLbrSyncBarrier = KeQueryActiveProcessorCountEx(0xFFFFu);
  v4 = v2 | 0x1C4;
  if( (v2 & 0x200) == 0 )
    v4 = v2;
  HalpLbrSelectFlags = v4;
  KeIpiGenericCall((PKIPI_BROADCAST_WORKER)HalpLbrConfigureProcessor, (PVOID)v3);
  while( 1 )
  {
    result = (unsigned int)HalpLbrSyncBarrier;
    if( HalpLbrSyncBarrier <= 0 )
      break;
    _mm_pause();
  }
  return result;
}

Referenced by:

HalpLbrConfigureRecording
HalpLbrStartRecording
HalpLbrStopRecording