void cleanupPlatform(void) {
    cleanupPlatformSockets();

    LC_ASSERT(thread_head == NULL);

    PltDeleteMutex(&thread_list_lock);
}
/* Destroy the linked blocking queue and associated mutex and event */
PLINKED_BLOCKING_QUEUE_ENTRY LbqDestroyLinkedBlockingQueue(PLINKED_BLOCKING_QUEUE queueHead) {
	PltDeleteMutex(&queueHead->mutex);
	PltCloseEvent(&queueHead->containsDataEvent);
	
	return queueHead->head;
}