PopFxDestroyDeviceCommon

void __fastcall PopFxDestroyDeviceCommon(PVOID P, int a2){
  _m_prefetchw((char *)P + 232);
  if( _InterlockedAnd((volatile signed __int32 *)P + 58, ~a2) == a2 )
  {
    ExFreePoolWithTag(*((PVOID *)P + 28), 0x4D584650u);
    ExFreePoolWithTag(P, 0x4D584650u);
  }
}

Referenced by:

PopFxAcpiRegisterDevice
PopFxAcpiUnregisterDevice
PopFxDestroyDeviceDpm