ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-02-20 09:46:20 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

rpi sd_card: move to new Mmio::wait_for

Browse Source 
Ref #2196
This commit is contained in:
Martin Stein 2017-03-02 13:37:00 +01:00 committed by Christian Helmuth
parent 31f4c0640a
commit a558afbed5
1 changed files with 5 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
repos/os/src/drivers/sd_card/spec/rpi/driver.h
View File

@ -162,11 +162,13 @@ class Sd_card::Driver : public Driver_base,
bool _poll_and_wait_for(unsigned value)
{
/* poll for a while */
if (!wait_for<REG>(value, _delayer, 5000, 0)) {
try { wait_for(Attempts(5000), Microseconds(0), _delayer,
typename REG::Equal(value)); }
catch (Polling_timeout) {
/* if the value was not reached while polling, start sleeping */
if (!wait_for<REG>(value, _delayer)) {
return false; }
try { wait_for(_delayer, typename REG::Equal(value)); }
catch (Polling_timeout) { return false; }
}
return true;
}