Index: kernel/generic/src/ipc/irq.c
===================================================================
--- kernel/generic/src/ipc/irq.c	(revision a996ae31af28626eb224d0fc0318932c1f196c19)
+++ kernel/generic/src/ipc/irq.c	(revision e7778478ec6096c87bc7a5be1c827fff262b0cce)
@@ -158,5 +158,15 @@
 			cmds[i].addr = (void *) addr;
 			break;
-		} 
+		}
+
+		if (j == rangecount) {
+			/*
+			 * The address used in this command is outside of all
+			 * defined ranges.
+			 */
+			ranges_unmap(ranges, rangecount);
+			free(pbase);
+			return EINVAL;
+		}
 	}