From de764d84902b4facd31620bdf21bbd1cf887cd84 Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Tue, 7 Jan 2020 17:37:35 +0100
Subject: [PATCH] base-hw/muen: add explicit array-bounds check

---
 repos/base-hw/src/core/spec/x86_64/muen/pic.h | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/repos/base-hw/src/core/spec/x86_64/muen/pic.h b/repos/base-hw/src/core/spec/x86_64/muen/pic.h
index 00f859138..a64742956 100644
--- a/repos/base-hw/src/core/spec/x86_64/muen/pic.h
+++ b/repos/base-hw/src/core/spec/x86_64/muen/pic.h
@@ -40,12 +40,13 @@ class Board::Pic
 
 		void irq_occurred(unsigned irq)
 		{
-			isr[irq] = true;
+			if (irq < NR_OF_IRQ)
+				isr[irq] = true;
 		}
 
 		bool take_request(unsigned &irq)
 		{
-			for (int i = 0; i < 256; i++) {
+			for (int i = 0; i < NR_OF_IRQ; i++) {
 				if (isr[i] == true) {
 					irq = i;
 					isr[i] = false;