vmci_cleanup_lock
vmci_cleanup_lock(&vmci_doorbell_it.lock);
vmci_cleanup_lock(&subscriber_lock);
vmci_cleanup_lock(&table->lock);
void vmci_cleanup_lock(vmci_lock *lock);
vmci_cleanup_lock(&resource_id_lock);
vmci_cleanup_lock(&resource_id_lock);