From bf88fd755f32b28f7ede19977fef68da31ef4f0c Mon Sep 17 00:00:00 2001
From: Rahix <rahix@rahix.de>
Date: Sun, 11 Aug 2019 14:56:03 +0200
Subject: [PATCH] fix(api): Make reset interrupt non-maskable

Signed-off-by: Rahix <rahix@rahix.de>
---
 epicardium/api/interrupt-sender.c | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/epicardium/api/interrupt-sender.c b/epicardium/api/interrupt-sender.c
index c20d998e..d531846d 100644
--- a/epicardium/api/interrupt-sender.c
+++ b/epicardium/api/interrupt-sender.c
@@ -27,6 +27,9 @@ void api_interrupt_init(void)
 	for (int i = 0; i < EPIC_INT_NUM; i++) {
 		int_enabled[i] = false;
 	}
+
+	/* Reset interrupt is always enabled */
+	int_enabled[EPIC_INT_RESET] = true;
 }
 
 int epic_interrupt_enable(api_int_id_t int_id)
@@ -41,7 +44,7 @@ int epic_interrupt_enable(api_int_id_t int_id)
 
 int epic_interrupt_disable(api_int_id_t int_id)
 {
-	if (int_id >= EPIC_INT_NUM) {
+	if (int_id >= EPIC_INT_NUM || int_id == EPIC_INT_RESET) {
 		return -EINVAL;
 	}
 
-- 
GitLab