Searched refs:vmci_mutex (Results 1 – 3 of 3) sorted by relevance
69 typedef struct mtx vmci_mutex; typedef70 int vmci_mutex_init(vmci_mutex *mutex, char *name);71 void vmci_mutex_destroy(vmci_mutex *mutex);72 void vmci_mutex_acquire(vmci_mutex *mutex);73 void vmci_mutex_release(vmci_mutex *mutex);74 int vmci_mutex_initialized(vmci_mutex *mutex);
395 vmci_mutex_init(vmci_mutex *mutex, char *name) in vmci_mutex_init() 419 vmci_mutex_destroy(vmci_mutex *mutex) in vmci_mutex_destroy() 442 vmci_mutex_acquire(vmci_mutex *mutex) in vmci_mutex_acquire() 465 vmci_mutex_release(vmci_mutex *mutex) in vmci_mutex_release() 488 vmci_mutex_initialized(vmci_mutex *mutex) in vmci_mutex_initialized()
41 vmci_mutex mutex;