ehmry/genode
ehmry
/
genode
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

dde_ipxe: handle platform session memory requests 

Issue #1039
This commit is contained in:
Alexander Boettcher 2016-11-24 10:01:39 +01:00 committed by Christian Helmuth
parent 6e66e51088
commit 1018dbc89a
1 changed files with 8 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
repos/dde_ipxe/src/lib/dde_ipxe/dde_support.cc
View File

@ -175,7 +175,7 @@ struct Pci_driver
Genode::size_t donate = 4096;
Genode::retry<Platform::Device::Quota_exceeded>(
[&] () { client.config_write(devfn, val, _access_size(val)); } ,
[&] () { client.config_write(devfn, val, _access_size(val)); },
[&] () {
_pci.upgrade_ram(donate);
donate *= 2;
@ -184,7 +184,10 @@ struct Pci_driver
int first_device(int *bus, int *dev, int *fun)
{
_cap = _pci.first_device(CLASS_NETWORK, CLASS_MASK);
_cap = Genode::retry<Platform::Session::Out_of_metadata>(
[&] () { return _pci.first_device(CLASS_NETWORK, CLASS_MASK); },
[&] () { _pci.upgrade_ram(4096); });
if (!_cap.valid())
return -1;
@ -197,8 +200,10 @@ struct Pci_driver
int result = -1;
_last_cap = _cap;
_cap = Genode::retry<Platform::Session::Out_of_metadata>(
[&] () { return _pci.next_device(_cap, CLASS_NETWORK, CLASS_MASK); },
[&] () { _pci.upgrade_ram(4096); });
_cap = _pci.next_device(_cap, CLASS_NETWORK, CLASS_MASK);
if (_cap.valid()) {
_bus_address(bus, dev, fun);
result = 0;