Index: uspace/lib/usbdev/src/pipes.c
===================================================================
--- uspace/lib/usbdev/src/pipes.c	(revision 27ed734ca1edb1dbac9f39a53b2fd7ed46b2b7f4)
+++ uspace/lib/usbdev/src/pipes.c	(revision c2245a30ec71d59d19f3b4dc70b0684e812e229b)
@@ -75,4 +75,5 @@
 int usb_device_get_assigned_interface(const ddf_dev_t *device)
 {
+	assert(device);
 	async_sess_t *parent_sess =
 	    devman_parent_device_connect(EXCHANGE_ATOMIC, device->handle,