evl: rename irq_pipeline_send_remote() to irq_send_oob_ipi()

Signed-off-by: Philippe Gerum <rpm@xenomai.org>

kernel/evl/sched/core.c

@@ -874,8 +874,7 @@ static inline bool test_resched(struct evl_rq *this_rq)
 #ifdef CONFIG_SMP
 	/* Send resched IPI to remote CPU(s). */
 	if (unlikely(!cpumask_empty(&this_rq->resched_cpus))) {
-		irq_pipeline_send_remote(RESCHEDULE_OOB_IPI,
-					&this_rq->resched_cpus);
+		irq_send_oob_ipi(RESCHEDULE_OOB_IPI, &this_rq->resched_cpus);
 		cpumask_clear(&this_rq->resched_cpus);
 		this_rq->local_flags &= ~RQ_SCHED;
 	}

kernel/evl/tick.c

@@ -247,7 +247,6 @@ void evl_program_proxy_tick(struct evl_clock *clock)
 #ifdef CONFIG_SMP
 void evl_send_timer_ipi(struct evl_clock *clock, struct evl_rq *rq)
 {
-	irq_pipeline_send_remote(TIMER_OOB_IPI,
-				cpumask_of(evl_rq_cpu(rq)));
+	irq_send_oob_ipi(TIMER_OOB_IPI,	cpumask_of(evl_rq_cpu(rq)));
 }
 #endif