From a9827c662e37d3c2bfeae8d9f7210cf5cbec31a4 Mon Sep 17 00:00:00 2001 From: Alexander Boettcher Date: Mon, 6 Jul 2020 14:25:30 +0200 Subject: [PATCH] dde_ipxe: use Mutex Issue #3805 --- repos/dde_ipxe/src/lib/dde_ipxe/dde_support.cc | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/repos/dde_ipxe/src/lib/dde_ipxe/dde_support.cc b/repos/dde_ipxe/src/lib/dde_ipxe/dde_support.cc index ed9f1f13d..ec0f3f3d3 100644 --- a/repos/dde_ipxe/src/lib/dde_ipxe/dde_support.cc +++ b/repos/dde_ipxe/src/lib/dde_ipxe/dde_support.cc @@ -118,10 +118,10 @@ extern "C" void dde_udelay(unsigned long usecs) /** * DDE iPXE mutual exclusion lock */ -static Genode::Lock _ipxe_lock; +static Genode::Mutex _ipxe_mutex; -extern "C" void dde_lock_enter(void) { _ipxe_lock.lock(); } -extern "C" void dde_lock_leave(void) { _ipxe_lock.unlock(); } +extern "C" void dde_lock_enter(void) { _ipxe_mutex.acquire(); } +extern "C" void dde_lock_leave(void) { _ipxe_mutex.release(); } extern "C" void dde_mdelay(unsigned long msecs)