From a055e4f79a10122c8c0c882161442e6e02f0c5c6 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Sosth=C3=A8ne=20Gu=C3=A9don?= Date: Tue, 28 May 2024 09:27:54 +0200 Subject: [PATCH] Service: add (mut) getter for the dispatcher --- src/service.rs | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/src/service.rs b/src/service.rs index 11b0f110e3b..b5568de2bb8 100644 --- a/src/service.rs +++ b/src/service.rs @@ -955,6 +955,14 @@ impl Service { .unwrap(), ); } + + pub fn dispatch(&self) -> &D { + &self.dispatch + } + + pub fn dispatch_mut(&mut self) -> &mut D { + &mut self.dispatch + } } impl Syscall for &mut Service