vmci_initialized_lock
if (!vmci_initialized_lock(&subscriber_lock))
int vmci_initialized_lock(vmci_lock *lock);