From 952c65180111114fc2ca71e04fbd98abf6347fd8 Mon Sep 17 00:00:00 2001
From: swym <0xfd000000@gmail.com>
Date: Sat, 24 Aug 2019 14:15:34 +0200
Subject: [PATCH] fix(epicardium): volatile API_CALL_MEM->int_id to avoid
 infinite loop

...otherwise ->int_id will not be reloaded in the while-loop at
api_interrupt_trigger(), causing it to loop indefinitely
---
 epicardium/api/common.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/epicardium/api/common.h b/epicardium/api/common.h
index ff0c9f3a..5ebb2943 100644
--- a/epicardium/api/common.h
+++ b/epicardium/api/common.h
@@ -38,7 +38,7 @@ struct api_call_mem {
 	api_id_t id;
 
 	/* ID of the current interrupt */
-	api_int_id_t int_id;
+	volatile api_int_id_t int_id;
 
 	/*
 	 * Buffer for arguments/return value.  This buffer will be
-- 
GitLab