diff options
Diffstat (limited to 'litmus/preempt.c')
-rw-r--r-- | litmus/preempt.c | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/litmus/preempt.c b/litmus/preempt.c index ebe2e3461895..08b98c3b57bf 100644 --- a/litmus/preempt.c +++ b/litmus/preempt.c | |||
@@ -30,8 +30,11 @@ void sched_state_will_schedule(struct task_struct* tsk) | |||
30 | /* Litmus tasks should never be subject to a remote | 30 | /* Litmus tasks should never be subject to a remote |
31 | * set_tsk_need_resched(). */ | 31 | * set_tsk_need_resched(). */ |
32 | BUG_ON(is_realtime(tsk)); | 32 | BUG_ON(is_realtime(tsk)); |
33 | |||
34 | /* | ||
33 | TRACE_TASK(tsk, "set_tsk_need_resched() ret:%p\n", | 35 | TRACE_TASK(tsk, "set_tsk_need_resched() ret:%p\n", |
34 | __builtin_return_address(0)); | 36 | __builtin_return_address(0)); |
37 | */ | ||
35 | } | 38 | } |
36 | 39 | ||
37 | /* Called by the IPI handler after another CPU called smp_send_resched(). */ | 40 | /* Called by the IPI handler after another CPU called smp_send_resched(). */ |
@@ -43,13 +46,17 @@ void sched_state_ipi(void) | |||
43 | /* Cause scheduler to be invoked. | 46 | /* Cause scheduler to be invoked. |
44 | * This will cause a transition to WILL_SCHEDULE. */ | 47 | * This will cause a transition to WILL_SCHEDULE. */ |
45 | set_tsk_need_resched(current); | 48 | set_tsk_need_resched(current); |
49 | /* | ||
46 | TRACE_STATE("IPI -> set_tsk_need_resched(%s/%d)\n", | 50 | TRACE_STATE("IPI -> set_tsk_need_resched(%s/%d)\n", |
47 | current->comm, current->pid); | 51 | current->comm, current->pid); |
52 | */ | ||
48 | } else { | 53 | } else { |
49 | /* ignore */ | 54 | /* ignore */ |
55 | /* | ||
50 | TRACE_STATE("ignoring IPI in state %x (%s)\n", | 56 | TRACE_STATE("ignoring IPI in state %x (%s)\n", |
51 | get_sched_state(), | 57 | get_sched_state(), |
52 | sched_state_name(get_sched_state())); | 58 | sched_state_name(get_sched_state())); |
59 | */ | ||
53 | } | 60 | } |
54 | } | 61 | } |
55 | 62 | ||