Index: uspace/lib/drv/generic/interrupt.c
===================================================================
--- uspace/lib/drv/generic/interrupt.c	(revision 25a179efc4ecca45aa90793992b6c1c2743fd07f)
+++ uspace/lib/drv/generic/interrupt.c	(revision 3c7702c05cfce1577b9b1bb89cfe61f809c024db)
@@ -51,5 +51,5 @@
 }
 
-int unregister_interrupt_handler(ddf_dev_t *dev, int cap)
+int unregister_interrupt_handler(ddf_dev_t *dev, cap_handle_t cap)
 {
 	return async_irq_unsubscribe(cap);
Index: uspace/lib/drv/generic/remote_nic.c
===================================================================
--- uspace/lib/drv/generic/remote_nic.c	(revision 25a179efc4ecca45aa90793992b6c1c2743fd07f)
+++ uspace/lib/drv/generic/remote_nic.c	(revision 3c7702c05cfce1577b9b1bb89cfe61f809c024db)
@@ -216,5 +216,5 @@
 		return rc;
 	
-	return (int) res;
+	return res;
 }
 
@@ -243,5 +243,5 @@
 		return rc;
 	
-	return (int) res;
+	return res;
 }
 
@@ -301,5 +301,5 @@
 		return rc;
 	
-	return (int) res;
+	return res;
 }
 
@@ -635,5 +635,5 @@
 		return rc;
 	
-	return (int) res;
+	return res;
 }
 
@@ -723,5 +723,5 @@
 		return rc;
 	
-	return (int) res;
+	return res;
 }
 
@@ -884,5 +884,5 @@
 		return rc;
 	
-	return (int) res;
+	return res;
 }
 
@@ -944,5 +944,5 @@
 		return rc;
 	
-	return (int) res;
+	return res;
 }
 
@@ -1011,5 +1011,5 @@
 	
 	*id = IPC_GET_ARG1(result);
-	return (int) res;
+	return res;
 }
 
@@ -1317,5 +1317,5 @@
 		return rc;
 	
-	return (int) res;
+	return res;
 }