vmci_mutex_init
int vmci_mutex_init(vmci_mutex *mutex, char *name);
ret = vmci_mutex_init(&qp_list->mutex, "VMCI QP List lock");