From 07319f2fb0286e7d9e4d0bb01f0b3daf20d60d7c Mon Sep 17 00:00:00 2001 From: Kevin Day Date: Mon, 27 Sep 2021 21:15:27 -0500 Subject: [PATCH] Bugfix: Incorrectly setting interrupt failure during exit. While processing the exit rules, the fll_extended_read is failing due to an interrupt that is not being sent. This is the result of an incorrect value being assigned to the controller_state_interrupt_t. --- level_3/controller/c/private-entry.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/level_3/controller/c/private-entry.c b/level_3/controller/c/private-entry.c index c64ef65..9a0aed5 100644 --- a/level_3/controller/c/private-entry.c +++ b/level_3/controller/c/private-entry.c @@ -211,7 +211,7 @@ extern "C" { } // while { - controller_state_interrupt_t custom = macro_controller_state_interrupt_t_initialize(F_true, global.thread); + controller_state_interrupt_t custom = macro_controller_state_interrupt_t_initialize(is_entry, global.thread); f_state_t state = macro_f_state_t_initialize(controller_common_allocation_large, controller_common_allocation_small, 0, &controller_thread_signal_state_fss, 0, (void *) &custom, 0); f_string_range_t range = content_range; -- 1.8.3.1