vmci_mutex - FreeBSD

395

vmci_mutex_init(vmci_mutex *mutex, char *name)

419

vmci_mutex_destroy(vmci_mutex *mutex)

442

vmci_mutex_acquire(vmci_mutex *mutex)

465

vmci_mutex_release(vmci_mutex *mutex)

488

vmci_mutex_initialized(vmci_mutex *mutex)

70

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);

41

vmci_mutex mutex;