HalpMcaQueueDpc

void __fastcall HalpMcaQueueDpc(char a1, char a2){
  _KDPC *v3; 

  if( a1 && McaWmiCallback )
    McaWmiCallback(1496727831i64, 1i64);
  if( a2 )
  {
    v3 = (_KDPC *)KiProcessorBlock->HalReserved[7];
    if( v3 )
    {
      KiProcessorBlock->HalReserved[7] = 0i64;
      KiInsertQueueDpc(
        v3,
        (VOID *)KUSER_SHARED_DATA.SystemTime.LowPart,
        (VOID *)HIDWORD(*(_QWORD *)&KUSER_SHARED_DATA.SystemTime.LowPart),
        0i64,
        0);
    }
  }
}

Referenced by:

HalpTimerAlwaysOnClockInterrupt
HalpTimerClockInterrupt