Changes in uspace/drv/ohci/pci.c [f1d16663:dc5f2fb] in mainline

File:

• uspace/drv/ohci/pci.c (modified) (1 diff)

uspace/drv/ohci/pci.c

@@ -58 +58 @@
     uintptr_t *mem_reg_address, size_t *mem_reg_size, int *irq_no)
 {
-        assert(dev != NULL);
+        assert(dev);
+        assert(mem_reg_address);
+        assert(mem_reg_size);
+        assert(irq_no);
 
         int parent_phone = devman_parent_device_connect(dev->handle,