From 7d4674b7288474735bb3b43ed834c1c0467d8763 Mon Sep 17 00:00:00 2001
From: Martin Stein <martin.stein@genode-labs.com>
Date: Thu, 15 Dec 2016 14:33:41 +0100
Subject: [PATCH] rpi platform driver: use new Mmio::wait_for

Ref #2196
---
 repos/os/src/drivers/platform/spec/rpi/mbox.h | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

diff --git a/repos/os/src/drivers/platform/spec/rpi/mbox.h b/repos/os/src/drivers/platform/spec/rpi/mbox.h
index 7b7c534b5d..71911c41d4 100644
--- a/repos/os/src/drivers/platform/spec/rpi/mbox.h
+++ b/repos/os/src/drivers/platform/spec/rpi/mbox.h
@@ -99,7 +99,9 @@ class Mbox : Genode::Attached_mmio
 			while (!read<Status::Rd_empty>())
 				read<Read>();
 
-			if (!wait_for<Status::Wr_full>(0, _delayer, 500, 1)) {
+			try { wait_for(Attempts(500), Microseconds(1), _delayer,
+			               Status::Wr_full::Equal(0)); }
+			catch (Polling_timeout) {
 				Genode::error("Mbox: timeout waiting for ready-to-write");
 				return;
 			}
@@ -110,7 +112,9 @@ class Mbox : Genode::Attached_mmio
 			Write::Cache_policy::set(value, MESSAGE::cache_policy());
 			write<Write>(value);
 
-			if (!wait_for<Status::Rd_empty>(0, _delayer, 500, 1)) {
+			try { wait_for(Attempts(500), Microseconds(1), _delayer,
+			               Status::Rd_empty::Equal(0)); }
+			catch (Polling_timeout) {
 				Genode::error("Mbox: timeout waiting for response");
 				return;
 			}