From dff3bac4418d386469f3a31065f613f1e15f82c9 Mon Sep 17 00:00:00 2001
From: Christian Prochaska <christian.prochaska@genode-labs.com>
Date: Mon, 26 Oct 2020 15:20:40 +0100
Subject: [PATCH] libc: submit monitor execution signals locally

Issue #3924
---
 repos/libports/src/lib/libc/internal/kernel.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/repos/libports/src/lib/libc/internal/kernel.h b/repos/libports/src/lib/libc/internal/kernel.h
index 80d766ebdc..4ebcda1da8 100644
--- a/repos/libports/src/lib/libc/internal/kernel.h
+++ b/repos/libports/src/lib/libc/internal/kernel.h
@@ -576,7 +576,7 @@ struct Libc::Kernel final : Vfs::Io_response_handler,
 			if (_main_context())
 				_monitors_handler();
 			else
-				Signal_transmitter(*_execute_monitors).submit();
+				_execute_monitors->local_submit();
 		}
 
 		/**