/* Initializes the critical section module. Should be called before the Enter/Exit functions are used. It is okay to call this initialization multiple times from different modules.  */
void UtilCriticalSectionInit(void)
/* Initializes the critical section module. Should be called before the Enter/Exit functions are used. It is okay to call this initialization multiple times from different modules.  */
void UtilCriticalSectionInit(void)
{
  if (!criticalSectionInitialized)
  {
    InitializeCriticalSection((CRITICAL_SECTION *)&criticalSection);
    criticalSectionInitialized = true;
  }
}