KeDispatchSecondaryInterrupt

BOOL __fastcall KeDispatchSecondaryInterrupt(UINT64 a1, INT64 a2, INT64 a3){
  unsigned __int8 CurrentIrql; 
  __int128 *v4; 
  BOOL result; 
  bool v6; 
  _QWORD v7[3]; 
  v7[1] = v7;
  v7[0] = v7;
  CurrentIrql = KeGetCurrentIrql();
  v4 = (__int128 *)v7;
  if( !CurrentIrql )
    v4 = 0i64;
  v6 = KiInterruptDispatchCommon(1, a1, (a2 & 0x100000) != 0, v4, (_DWORD *)a3);
  if( CurrentIrql )
    KiInsertSecondarySignalList((_LIST_ENTRY *)v4);
  LOBYTE(result) = v6;
  return result;
}

Referenced by: