From 22862914da3bad9cd44ec239f37907916fdf6f2a Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Michael=20M=C3=BCller?= Date: Thu, 7 Jul 2022 10:52:45 +0200 Subject: [PATCH] Make Genode::Thread's attribute accesible in child classes. --- src/mx/memory/reclamation/epoch_manager.h | 2 +- src/mx/tasking/worker.h | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/src/mx/memory/reclamation/epoch_manager.h b/src/mx/memory/reclamation/epoch_manager.h index c939218..09d63b8 100644 --- a/src/mx/memory/reclamation/epoch_manager.h +++ b/src/mx/memory/reclamation/epoch_manager.h @@ -57,7 +57,7 @@ private: * every local epoch is greater than the epoch * when the resource is deleted. */ -class EpochManager : Genode::Thread +class EpochManager : public Genode::Thread { public: EpochManager(const std::uint16_t count_channels, dynamic::Allocator &allocator, diff --git a/src/mx/tasking/worker.h b/src/mx/tasking/worker.h index d02622c..7979871 100644 --- a/src/mx/tasking/worker.h +++ b/src/mx/tasking/worker.h @@ -18,7 +18,7 @@ namespace mx::tasking { /** * The worker executes tasks from his own channel, until the "running" flag is false. */ -class alignas(64) Worker : Genode::Thread +class alignas(64) Worker : public Genode::Thread { public: Worker(std::uint16_t id, std::uint16_t target_core_id, std::uint16_t target_numa_node_id,