From b7cdb5840a91c22e402bcd40a1fcbebeb99723d4 Mon Sep 17 00:00:00 2001
From: Alexander Boettcher <alexander.boettcher@genode-labs.com>
Date: Mon, 6 Jul 2020 12:56:40 +0200
Subject: [PATCH] dde_bsd: remove unused Lock

Issue #3805
---
 repos/dde_bsd/src/lib/audio/include/scheduler.h | 2 --
 1 file changed, 2 deletions(-)

diff --git a/repos/dde_bsd/src/lib/audio/include/scheduler.h b/repos/dde_bsd/src/lib/audio/include/scheduler.h
index ee1a843680..fe57adfdf2 100644
--- a/repos/dde_bsd/src/lib/audio/include/scheduler.h
+++ b/repos/dde_bsd/src/lib/audio/include/scheduler.h
@@ -18,7 +18,6 @@
 
 /* Genode includes */
 #include <base/env.h>
-#include <base/lock.h>
 #include <base/sleep.h>
 
 /* local includes */
@@ -140,7 +139,6 @@ class Bsd::Scheduler
 	private:
 
 		Bsd::List<Bsd::Task> _present_list;
-		Genode::Lock       _present_list_mutex;
 
 		Task *_current = nullptr; /* currently scheduled task */