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

acpi_drv: detach dataspaces in 'Acpi::Memory'

Browse Source 
Issue #5046
This commit is contained in:
Christian Prochaska 2023-11-09 20:48:12 +01:00 committed by Christian Helmuth
parent 536277ec55
commit 5d9d3bff11
1 changed files with 6 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
repos/os/src/drivers/acpi/memory.h
View File

@ -93,7 +93,8 @@ class Acpi::Memory
Rm_connection _rm { _env };
Region_map_client _acpi_window { _rm.create(ACPI_REGION_SIZE) };
addr_t const _acpi_base { _env.rm().attach(_acpi_window.dataspace()) };
Attached_dataspace _acpi_window_ds { _env.rm(), _acpi_window.dataspace() };
addr_t const _acpi_base { (addr_t)_acpi_window_ds.local_addr<void>()};
Constructible<Io_mem::Region> _io_region { };
@ -162,6 +163,7 @@ class Acpi::Memory
addr_t const compound_end = max(loop_region.base() + loop_region.size(),
region_base + region_size);
_acpi_window.detach(region_base - _io_region->base());
m->~Io_mem();
_range.free((void *)region_base);
@ -194,6 +196,7 @@ class Acpi::Memory
{
addr_t out_addr = 0;
while (_range.any_block_addr(&out_addr)) {
_acpi_window.detach(out_addr - _io_region->base());
_range.metadata((void *)out_addr)->~Io_mem();
_range.free((void *)out_addr);
}