PopFxAcpiForwardPepAcpiNotifyRequest

VOID __stdcall PopFxAcpiForwardPepAcpiNotifyRequest(_POP_FX_DEVICE *FxDevice, _PEP_WORK_INFORMATION *WorkInformation){
  __int64 v4[5]; 

  if( PopFxFindAndReferenceAcpiDevice((POP_FX_DEVICE *)FxDevice) >= 0 )
  {
    if( !*((_QWORD *)FxDevice + 10) )
      PopFxBugCheck(0x668u, (ULONG_PTR)FxDevice, WorkInformation->WorkType, 0);
    v4[1] = *((_QWORD *)&PopFxPlatformInterface + 1);
    v4[0] = 0i64;
    v4[2] = 0i64;
    v4[3] = (__int64)WorkInformation;
    ((void(__fastcall *)(__int64 *))PopFxPlatformInterface)(v4);
    if( _InterlockedExchangeAdd((volatile signed __int32 *)FxDevice + 69, 0xFFFFFFFF) == 1 )
      KeSetEvent((PRKEVENT)((char *)FxDevice + 280), 0, 0);
  }
}

Referenced by: