vmci_init_lock
return (vmci_init_lock(&vmci_doorbell_it.lock,
return (vmci_init_lock(&subscriber_lock, "VMCI Event subscriber lock"));
if (vmci_init_lock(&table->lock, "VMCI Hashtable lock") <
int vmci_init_lock(vmci_lock *lock, char *name);
err = vmci_init_lock(&resource_id_lock, "VMCI RID lock");