vmci_mutex_release

73

void vmci_mutex_release(vmci_mutex *mutex);

361

vmci_mutex_release(&qp_guest_endpoints.mutex);

387

vmci_mutex_release(&qp_guest_endpoints.mutex);

734

vmci_mutex_release(&qp_guest_endpoints.mutex);

739

vmci_mutex_release(&qp_guest_endpoints.mutex);

754

vmci_mutex_release(&qp_guest_endpoints.mutex);

820

vmci_mutex_release(&qp_guest_endpoints.mutex);

868

vmci_mutex_release(&qp_guest_endpoints.mutex);

889

vmci_mutex_release(&qp_guest_endpoints.mutex);