ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-04-12 21:53:28 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

rpi platform driver: use new Mmio::wait_for

Browse Source 
Ref #2196
This commit is contained in:
Martin Stein 2016-12-15 14:33:41 +01:00 committed by Christian Helmuth
parent 442c24420d
commit 7d4674b728
1 changed files with 6 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
repos/os/src/drivers/platform/spec/rpi/mbox.h
View File

@ -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;
}