PopFxDestroyDeviceCommon

VOID __stdcall PopFxDestroyDeviceCommon(_POP_FX_DEVICE *FxDevice){
  int v1; 

  _m_prefetchw((char *)FxDevice + 232);
  if( _InterlockedAnd((volatile signed __int32 *)FxDevice + 58, ~v1) == v1 )
  {
    ExFreePoolWithTag(*((PVOID *)FxDevice + 28), 0x4D584650u);
    ExFreePoolWithTag(FxDevice, 0x4D584650u);
  }
}

Referenced by:

PopFxAcpiRegisterDevice
PopFxAcpiUnregisterDevice
PopFxDestroyDeviceDpm