116d115
< 
786,797d784
< /*Simple test*/
< 
< static void sedf_dyn_monit(const struct scheduler *ops, int cpu)
< {
<          uint64_t  idle_time;
< 
<         idle_time = get_cpu_idle_time(cpu);
<   
<         printk("[HERE]idle_time = %llu \n", idle_time);
< 
< }
< 
803c790,791
< static struct task_slice sedf_do_schedule(const struct scheduler *ops, s_time_t now, bool_t tasklet_work_scheduled)
---
> static struct task_slice sedf_do_schedule(
>     const struct scheduler *ops, s_time_t now, bool_t tasklet_work_scheduled)
814,817d801
< 
<       if ( NOW() >= (10*PERIOD_MAX)) sedf_dyn_monit(ops,cpu);
< 
< 
895,898d878
< 
< 	
< 
< 
901,903d880
< 
<    
<