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

platform_drv: do not account IOMEM as ram quota

Browse Source 
Accidentally, the size of IOMEM dataspace got accounted within the
implementation of the platform driver for ARM. Instead we should
only account a bit for the metadata and paging of the I/O memory.

Fix #4307
This commit is contained in:
Stefan Kalkowski
2021-11-02 11:46:13 +01:00
committed by Christian Helmuth
parent 87bb81cd66
commit 43ef9b5a3a
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
repos/os/src/drivers/platform/spec/arm/device.cc
View File

@ -161,8 +161,8 @@ Genode::size_t Driver::Device::_cap_quota_required()
Genode::size_t Driver::Device::_ram_quota_required() Genode::size_t Driver::Device::_ram_quota_required()
{ {
size_t total = 0; size_t total = 0;
_io_mem_list.for_each([&] (Io_mem & io_mem) { _io_mem_list.for_each([&] (Io_mem &) {
total += io_mem.size + 2*1024; }); total += 4096; });
return total; return total;
} }