make inclusion of SRP support optional2008.1

we can disable it to improve performance when it is not needed

2 files changed, 10 insertions, 0 deletions

diff --git a/include/litmus/litmus.h b/include/litmus/litmus.h
index 8a4c44999f..de2a3c2547 100644
--- a/include/litmus/litmus.h
+++ b/include/litmus/litmus.h
@@ -172,7 +172,11 @@ static inline lt_t litmus_clock(void)
 #define make_np(t) do {t->rt_param.kernel_np++;} while(0);
 #define take_np(t) do {t->rt_param.kernel_np--;} while(0);
 
+#ifdef CONFIG_SRP
 void srp_ceiling_block(void);
+#else
+#define srp_ceiling_block() /* nothing */
+#endif
 
 #define heap2task(hn) ((struct task_struct*) hn->value)
 
diff --git a/include/litmus/sched_plugin.h b/include/litmus/sched_plugin.h
index c26af80da8..aba75222fc 100644
--- a/include/litmus/sched_plugin.h
+++ b/include/litmus/sched_plugin.h
@@ -87,7 +87,9 @@ struct sched_plugin {
         struct list_head        list;
         /*      basic info              */
         char                    *plugin_name;
+#ifdef CONFIG_SRP
         unsigned int            srp_active;
+#endif
 
         /*      scheduler invocation    */
         scheduler_tick_t        tick;
@@ -124,7 +126,11 @@ int print_sched_plugins(char* buf, int max);
 
 static inline int srp_active(void)
 {
+#ifdef CONFIG_SRP
         return litmus->srp_active;
+#else
+        return 0;
+#endif
 }
 static inline int fmlp_active(void)
 {