FreeBSD/sys/dev/vxge/vxge.c
/*
 * vxge_mutex_destroy
 * Destroys mutexes used in driver
 */
vxge_mutex_destroy
Destroys mutexes used in driver
vxge_mutex_destroy Destroys mutexes used in driver
void
vxge_mutex_destroy(vxge_dev_t *vdev)
{
	int i;
	for (i = 0; i < vdev->no_of_vpath; i++)
		VXGE_TX_LOCK_DESTROY(&(vdev->vpaths[i]));
	VXGE_DRV_LOCK_DESTROY(vdev);
}
void vxge_mutex_destroy ( vxge_dev_t * vdev ) { int i ; for ( i = 0 ; i < vdev -> no_of_vpath ; i ++ ) VXGE_TX_LOCK_DESTROY ( & ( vdev -> vpaths [ i ] ) ) ; VXGE_DRV_LOCK_DESTROY ( vdev ) ; }
vxge_mutex_destroy
 Destroys mutexes used in driver
vxge_mutex_destroy Destroys mutexes used in driver