/*
 *                         OpenSplice DDS
 *
 *   This software and documentation are Copyright 2006 to 2009 PrismTech 
 *   Limited and its licensees. All rights reserved. See file:
 *
 *                     $OSPL_HOME/LICENSE 
 *
 *   for full copyright notice and license terms. 
 *
 */
#ifndef OS__MUTEX_H
#define OS__MUTEX_H

#include "os_mutex.h"

void os_mutexModuleInit(void);
void os_mutexModuleExit(void);

#endif /* OS__MUTEX_H */
