VMCI_ERROR_NO_HANDLE
return (VMCI_ERROR_NO_HANDLE);
return VMCI_ERROR_NO_HANDLE;
result = VMCI_ERROR_NO_HANDLE;