Searched refs:vxge_mutex_destroy (Results 1 – 2 of 2) sorted by relevance
482 void vxge_mutex_destroy(vxge_dev_t *);
1923 vxge_mutex_destroy(vdev); in vxge_free_resources()2061 vxge_mutex_destroy(vxge_dev_t *vdev) in vxge_mutex_destroy() function