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

base: remove Thread_deprecated

Browse Source 
Fixes #3954
This commit is contained in:
Alexander Boettcher
2020-11-23 10:03:31 +01:00
committed by Christian Helmuth
parent dbcb1ff480
commit 774b1f4277
20 changed files with 38 additions and 294 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
repos/base-sel4/src/core/include/irq_object.h
View File

@@ -20,7 +20,7 @@
namespace Genode { class Irq_object; }
class Genode::Irq_object : public Thread_deprecated<4096> {
class Genode::Irq_object : public Thread {
private:

9
repos/base-sel4/src/core/include/pager.h
View File

@@ -156,12 +156,12 @@ class Genode::Pager_object : public Object_pool<Pager_object>::Entry
class Genode::Pager_entrypoint : public Object_pool<Pager_object>,
public Thread_deprecated<PAGER_EP_STACK_SIZE>
public Thread
{
private:
Ipc_pager _pager { };
Rpc_cap_factory _cap_factory;
Ipc_pager _pager { };
Rpc_cap_factory &_cap_factory;
Untyped_capability _pager_object_cap(unsigned long badge);
@@ -176,7 +176,8 @@ class Genode::Pager_entrypoint : public Object_pool<Pager_object>,
*/
Pager_entrypoint(Rpc_cap_factory &cap_factory)
:
Thread_deprecated<PAGER_EP_STACK_SIZE>("pager_ep"),
Thread(Weight::DEFAULT_WEIGHT, "pager_ep", PAGER_EP_STACK_SIZE,
Type::NORMAL),
_cap_factory(cap_factory)
{ start(); }

2
repos/base-sel4/src/core/irq_session_component.cc
View File

@@ -91,7 +91,7 @@ void Irq_object::ack_irq()
Irq_object::Irq_object(unsigned irq)
:
Thread_deprecated<4096>("irq"),
Thread(Weight::DEFAULT_WEIGHT, "irq", 4096 /* stack */, Type::NORMAL),
_irq(irq),
_kernel_irq_sel(platform_specific().core_sel_alloc().alloc()),
_kernel_notify_sel(platform_specific().core_sel_alloc().alloc())