HalpInterruptSaveReplayState

INT64 __fastcall HalpInterruptSaveReplayState(INT64 a1){
  unsigned int(__fastcall *v1)(_QWORD, INT64); 
  INT64 v2; 
  UINT64 SourceLine; 
  v1 = *(unsigned int(__fastcall **)(_QWORD, INT64))(HalpInterruptController + 152);
  if( v1 )
    v2 = v1(*(_QWORD *)(HalpInterruptController + 16), a1);
  else
    v2 = 3221225659i64;
  if( (int)v2 < 0 )
  {
    LODWORD(SourceLine) = 816;
    HalpInterruptSetProblemEx(
      (_REGISTERED_INTERRUPT_CONTROLLER *)HalpInterruptController,
      InterruptProblemCannotHardwareQuiesce,
      v2,
      "minkernel\\hals\\lib\\interrupts\\common\\replace.c",
      SourceLine);
  }
  return(unsigned int)v2;
}

Referenced by:

HalpDpGetInterruptReplayState