ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-03-14 08:16:28 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

platform: fix device-PD support

Browse Source 
When executed on NOVA, the platform driver will use the kernel IOMMU
(device PD) if the devices ROM either does not name any IOMMU or support
for the named IOMMU is not available (e.g. because the generic platform
driver is used). In the latter case, reserved-memory ranges were not
correctly added to the device PD.

genodelabs/genode#5066
This commit is contained in:
Johannes Schlatow 2025-02-20 12:34:01 +01:00 committed by Christian Helmuth
parent b1d53fd4c8
commit 9d7f8cfa9b
1 changed files with 6 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
repos/os/src/driver/platform/device_component.cc
View File

@ -50,6 +50,11 @@ void Driver::Device_component::_release_resources()
_io_port_range_registry.for_each([&] (Io_port_range & iop) {
destroy(_session.heap(), &iop); });
/**
* remove reserved memory ranges only from corresponding IOMMU domains
* note: default domain must keep added ranges since device PD never gets
* disabled
*/
_io_mmu_registry.for_each([&] (Io_mmu & io_mmu) {
_session.domain_registry().with_domain(io_mmu.name,
[&] (Driver::Io_mmu::Domain & domain) {
@ -338,7 +343,7 @@ Device_component::Device_component(Registry<Device_component> & registry,
[&] (Driver::Device::Io_mmu const &io_mmu) {
session.domain_registry().with_domain(io_mmu.name,
add_range_fn,
[&] () { });
default_domain_fn);
/* save IOMMU names for this device */
new (session.heap()) Io_mmu(_io_mmu_registry, io_mmu.name);
},