@@ -767,6 +767,8 @@ const struct scheduler sched_arinc653_def = {
.tick_resume = NULL,
};
+REGISTER_SCHEDULER(sched_arinc653_def);
+
/*
* Local variables:
* mode: C
@@ -2027,3 +2027,5 @@ const struct scheduler sched_credit_def = {
.tick_suspend = csched_tick_suspend,
.tick_resume = csched_tick_resume,
};
+
+REGISTER_SCHEDULER(sched_credit_def);
@@ -2228,3 +2228,5 @@ const struct scheduler sched_credit2_def = {
.alloc_domdata = csched2_alloc_domdata,
.free_domdata = csched2_free_domdata,
};
+
+REGISTER_SCHEDULER(sched_credit2_def);
@@ -1199,3 +1199,5 @@ const struct scheduler sched_rtds_def = {
.wake = rt_vcpu_wake,
.context_saved = rt_context_saved,
};
+
+REGISTER_SCHEDULER(sched_rtds_def);
@@ -170,6 +170,8 @@ extern const struct scheduler sched_credit2_def;
extern const struct scheduler sched_arinc653_def;
extern const struct scheduler sched_rtds_def;
+#define REGISTER_SCHEDULER(x) static const struct scheduler *x##_entry \
+ __used_section(".data.schedulers") = &x;
struct cpupool
{