void stopIpfixReceiver(IpfixReceiver* ipfixReceiver) { pthread_mutex_lock(&ipfixReceiver->mutex);
int stopIpfixReceiver(IpfixReceiver* ipfixReceiver) { if (pthread_mutex_lock(&ipfixReceiver->mutex) != 0) { fatal("Could not lock mutex"); return -1; }  return 0;
void stopIpfixReceiver(IpfixReceiver* ipfixReceiver) {	pthread_mutex_lock(&ipfixReceiver->mutex);	}