fix: set have_signal to false after NBSendRecv

Signed-off-by: isubasinghe <[email protected]>
seL4 · Sep 25, 2023 · c789acf · c789acf
1 parent 6f08b2e
commit c789acf
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/libmicrokit/src/main.c b/libmicrokit/src/main.c
@@ -58,6 +58,7 @@ static void handler_loop(void)
             tag = seL4_ReplyRecv(INPUT_CAP, reply_tag, &badge, REPLY_CAP);
         } else if (have_signal) {
             tag = seL4_NBSendRecv(signal, signal_msg, INPUT_CAP, &badge, REPLY_CAP);
+            have_signal = false;
         } else {
             tag = seL4_Recv(INPUT_CAP, &badge, REPLY_CAP);
         }