/*
 * synch_skel.c:
 *	This file provides a few function headers for the procedures that
 *	you are required to implement for the semaphore part of
 *	minithread assignment.
 *
 *	You must implement the procedures and types defined in this interface.
 *
 */

#include "synch.h"

/*
 * A semaphore should be defined either in this file or in a private
 * header file.  
 */




/*
 * Semaphores.
 */


semaphore_t semaphore_create()
{}


void semaphore_destroy(semaphore_t sem)
{}

 
void semaphore_initialize(semaphore_t sem, int cnt)
{}



void semaphore_P(semaphore_t sem)
{}


void semaphore_V(semaphore_t sem)
{}