Module: xenomai-forge
Branch: master
Commit: 278a42ea3d3455c3841a314f60b2b7db965f7c81
URL:    
http://git.xenomai.org/?p=xenomai-forge.git;a=commit;h=278a42ea3d3455c3841a314f60b2b7db965f7c81

Author: Philippe Gerum <r...@xenomai.org>
Date:   Fri Dec 30 13:00:50 2011 +0100

hal: don't expect return values from SMP-specific core IRQ routines

---

 include/asm-arm/bits/timer.h      |    4 +---
 include/asm-blackfin/bits/timer.h |    7 +------
 include/asm-generic/system.h      |    6 ++----
 include/asm-nios2/bits/timer.h    |    3 +--
 include/asm-powerpc/bits/timer.h  |    4 +---
 include/asm-sh/bits/timer.h       |    3 +--
 include/asm-sim/bits/timer.h      |    3 +--
 include/asm-x86/bits/timer.h      |    5 +----
 8 files changed, 9 insertions(+), 26 deletions(-)

diff --git a/include/asm-arm/bits/timer.h b/include/asm-arm/bits/timer.h
index 58c08c6..a64cc47 100644
--- a/include/asm-arm/bits/timer.h
+++ b/include/asm-arm/bits/timer.h
@@ -37,12 +37,10 @@ static inline void xnarch_program_timer_shot(unsigned long 
delay)
                rthal_nodiv_imuldiv_ceil(delay, rthal_tsc_to_timer));
 }
 
-static inline int xnarch_send_timer_ipi(xnarch_cpumask_t mask)
+static inline void xnarch_send_timer_ipi(xnarch_cpumask_t mask)
 {
 #ifdef CONFIG_SMP
        return ipipe_send_ipi(RTHAL_TIMER_IPI, mask);
-#else /* !CONFIG_SMP */
-       return 0;
 #endif /* !CONFIG_SMP */
 }
 
diff --git a/include/asm-blackfin/bits/timer.h 
b/include/asm-blackfin/bits/timer.h
index 9caface..9c0f685 100644
--- a/include/asm-blackfin/bits/timer.h
+++ b/include/asm-blackfin/bits/timer.h
@@ -31,13 +31,8 @@ static inline void xnarch_program_timer_shot(unsigned long 
delay)
        rthal_timer_program_shot(delay);
 }
 
-static inline int xnarch_send_timer_ipi(xnarch_cpumask_t mask)
+static inline void xnarch_send_timer_ipi(xnarch_cpumask_t mask)
 {
-#ifdef CONFIG_SMP
-       return -1;              /* FIXME */
-#else /* ! CONFIG_SMP */
-       return 0;
-#endif /* CONFIG_SMP */
 }
 
 #endif /* !_XENO_ASM_BLACKFIN_BITS_TIMER_H */
diff --git a/include/asm-generic/system.h b/include/asm-generic/system.h
index 6f70cc7..b5704d3 100644
--- a/include/asm-generic/system.h
+++ b/include/asm-generic/system.h
@@ -326,12 +326,10 @@ static inline void xnlock_put_irqrestore(struct xnlock 
*lock, spl_t flags)
        splexit(flags & 1);
 }
 
-static inline int xnarch_send_ipi(xnarch_cpumask_t cpumask)
+static inline void xnarch_send_ipi(xnarch_cpumask_t cpumask)
 {
 #ifdef CONFIG_SMP
-       return ipipe_send_ipi(IPIPE_SERVICE_IPI0, cpumask);
-#else /* !CONFIG_SMP */
-       return 0;
+       ipipe_send_ipi(IPIPE_SERVICE_IPI0, cpumask);
 #endif /* !CONFIG_SMP */
 }
 
diff --git a/include/asm-nios2/bits/timer.h b/include/asm-nios2/bits/timer.h
index 69b6e1a..d6de5b5 100644
--- a/include/asm-nios2/bits/timer.h
+++ b/include/asm-nios2/bits/timer.h
@@ -31,9 +31,8 @@ static inline void xnarch_program_timer_shot(unsigned long 
delay)
        rthal_timer_program_shot(d);
 }
 
-static inline int xnarch_send_timer_ipi(xnarch_cpumask_t mask)
+static inline void xnarch_send_timer_ipi(xnarch_cpumask_t mask)
 {
-       return -1;      /* No SMP support */
 }
 
 #endif /* !_XENO_ASM_NIOS2_BITS_TIMER_H */
diff --git a/include/asm-powerpc/bits/timer.h b/include/asm-powerpc/bits/timer.h
index 214a9bf..14cdfd8 100644
--- a/include/asm-powerpc/bits/timer.h
+++ b/include/asm-powerpc/bits/timer.h
@@ -40,12 +40,10 @@ static inline void xnarch_program_timer_shot(unsigned long 
delay)
                                 (delay, RTHAL_TIMER_FREQ, RTHAL_CLOCK_FREQ));
 }
 
-static inline int xnarch_send_timer_ipi(xnarch_cpumask_t mask)
+static inline void xnarch_send_timer_ipi(xnarch_cpumask_t mask)
 {
 #ifdef CONFIG_SMP
        return ipipe_send_ipi(RTHAL_TIMER_IPI, mask);
-#else /* ! CONFIG_SMP */
-       return 0;
 #endif /* CONFIG_SMP */
 }
 
diff --git a/include/asm-sh/bits/timer.h b/include/asm-sh/bits/timer.h
index baf3c0f..c8af46d 100644
--- a/include/asm-sh/bits/timer.h
+++ b/include/asm-sh/bits/timer.h
@@ -31,9 +31,8 @@ static inline void xnarch_program_timer_shot(unsigned long 
delay)
        rthal_timer_program_shot(d);
 }
 
-static inline int xnarch_send_timer_ipi(xnarch_cpumask_t mask)
+static inline void xnarch_send_timer_ipi(xnarch_cpumask_t mask)
 {
-       return -1;      /* No SMP support */
 }
 
 #endif /* !_XENO_ASM_SH_BITS_TIMER_H */
diff --git a/include/asm-sim/bits/timer.h b/include/asm-sim/bits/timer.h
index 86ed4db..b0d7b41 100644
--- a/include/asm-sim/bits/timer.h
+++ b/include/asm-sim/bits/timer.h
@@ -25,9 +25,8 @@ static inline void xnarch_program_timer_shot (unsigned long 
delay)
     mvm_program_timer(delay ?: 1);
 }
 
-static inline int xnarch_send_timer_ipi (xnarch_cpumask_t mask)
+static inline void xnarch_send_timer_ipi (xnarch_cpumask_t mask)
 {
-    return -1;
 }
 
 #endif /* !_XENO_ASM_SIM_BITS_TIMER_H */
diff --git a/include/asm-x86/bits/timer.h b/include/asm-x86/bits/timer.h
index 3f67f9f..5ae32e5 100644
--- a/include/asm-x86/bits/timer.h
+++ b/include/asm-x86/bits/timer.h
@@ -36,13 +36,10 @@ static inline void xnarch_program_timer_shot(unsigned long 
delay)
                                 (delay, RTHAL_TIMER_FREQ, RTHAL_CLOCK_FREQ));
 }
 
-static inline int xnarch_send_timer_ipi(xnarch_cpumask_t mask)
+static inline void xnarch_send_timer_ipi(xnarch_cpumask_t mask)
 {
 #ifdef CONFIG_SMP
        return ipipe_send_ipi(RTHAL_APIC_TIMER_IPI, mask);
-#else /* ! CONFIG_SMP */
-       return 0;
-#endif /* CONFIG_SMP */
 }
 
 #endif /* !_XENO_ASM_X86_BITS_TIMER_H */


_______________________________________________
Xenomai-git mailing list
Xenomai-git@gna.org
https://mail.gna.org/listinfo/xenomai-git

Reply via email to