ehmry/genode-ehmry
ehmry/genode-ehmry
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

hw: rename Cpu_scheduler in Processor_scheduler

Browse Source 
ref #1088
This commit is contained in:
Martin Stein 2014-03-10 16:54:47 +01:00 committed by Norman Feske
parent a8d071b372
commit 010e00ae7a
2 changed files with 3 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
base-hw/src/core/kernel/processor.h
View File

@ -23,8 +23,6 @@
namespace Kernel
{
typedef Cpu_scheduler Processor_scheduler;
/**
* Thread that consumes processor time if no other thread is available
*/

6
base-hw/src/core/kernel/scheduler.h
View File

@ -59,7 +59,7 @@ namespace Kernel
*/
class Execution_context;
typedef Scheduler<Execution_context> Cpu_scheduler;
typedef Scheduler<Execution_context> Processor_scheduler;
}
template <typename T>
@ -299,7 +299,7 @@ class Kernel::Scheduler
T * idle() const { return _idle; }
};
class Kernel::Execution_context : public Cpu_scheduler::Item
class Kernel::Execution_context : public Processor_scheduler::Item
{
private:
@ -363,7 +363,7 @@ class Kernel::Execution_context : public Cpu_scheduler::Item
*/
Execution_context(Processor * const processor, Priority const priority)
:
Cpu_scheduler::Item(priority),
Processor_scheduler::Item(priority),
__processor(processor)
{ }