denshooter/genode
1
0
Fork 0
mirror of https://github.com/mmueller41/genode.git synced 2026-01-21 12:32:56 +01:00
Code Issues Packages Projects Releases Wiki Activity

fixup "hw: factor out Vmid_allocator" (fixes build for imx53_qsb_tz)

Browse Source
This commit is contained in:
Norman Feske
2025-01-14 11:47:40 +01:00
parent cea5a16abb
commit bd79ee0805
1 changed files with 2 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
repos/base-hw/src/core/spec/arm_v7/trustzone/vm_session_component.cc
View File

@@ -58,7 +58,7 @@ Genode::addr_t Vm_session_component::_alloc_vcpu_data(Genode::addr_t ds_addr)
} }
Vm_session_component::Vm_session_component(Rpc_entrypoint &ep, Vm_session_component::Vm_session_component(Vmid_allocator &vmids, Rpc_entrypoint &ep,
Resources resources, Resources resources,
Label const &, Label const &,
Diag, Diag,
@@ -74,6 +74,7 @@ Vm_session_component::Vm_session_component(Rpc_entrypoint &ep,
_region_map(region_map), _region_map(region_map),
_table(*construct_at<Board::Vm_page_table>(_alloc_table())), _table(*construct_at<Board::Vm_page_table>(_alloc_table())),
_table_array(dummy_array()), _table_array(dummy_array()),
_vmid_alloc(vmids),
_id({id_alloc++, nullptr}) _id({id_alloc++, nullptr})
{ {
if (_id.id) { if (_id.id) {