Index: kernel/generic/src/ipc/irq.c
===================================================================
--- kernel/generic/src/ipc/irq.c	(revision d57122c30e9b05f2b31726851b9172019fbcc238)
+++ kernel/generic/src/ipc/irq.c	(revision bd8c6537fdd2da9a0036c819439331b3c1402b5d)
@@ -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;
+		}
 	}