platform driver: use same label for all device PDs

Fixes #4037
This commit is contained in:
Norman Feske 2021-03-03 17:02:22 +01:00
parent 25a212aa24
commit 6712eac7e6

View File

@ -103,7 +103,7 @@ class Platform::Device_pd
Genode::Ram_quota_guard &ram_guard,
Genode::Cap_quota_guard &cap_guard)
:
_pd(env, label.string(), Genode::Pd_connection::Virt_space::UNCONSTRAIN),
_pd(env, "device PD", Genode::Pd_connection::Virt_space::UNCONSTRAIN),
_label(label),
_address_space(env, _pd, ram_guard, cap_guard)
{