From 7c5ceea5ba1013c1e8baf91055d0c72a83c1d90a Mon Sep 17 00:00:00 2001 From: Sebastian Huber Date: Fri, 31 May 2013 10:35:44 +0200 Subject: score: Mark as no return Mark rtems_smp_secondary_cpu_initialize() as no return. --- cpukit/score/include/rtems/bspsmp.h | 12 +++++++----- 1 file changed, 7 insertions(+), 5 deletions(-) (limited to 'cpukit') diff --git a/cpukit/score/include/rtems/bspsmp.h b/cpukit/score/include/rtems/bspsmp.h index 4806c9076b..b712c4fe95 100644 --- a/cpukit/score/include/rtems/bspsmp.h +++ b/cpukit/score/include/rtems/bspsmp.h @@ -119,8 +119,8 @@ void bsp_smp_interrupt_cpu( int bsp_smp_processor_id( void ); /** - * @brief Performs high-level initialization of a secondary CPU and runs the - * application threads. + * @brief Performs high-level initialization of a secondary processor and runs + * the application threads. * * The low-level initialization code must call this function to hand over the * control of this processor to RTEMS. Interrupts must be disabled. It must @@ -131,14 +131,16 @@ int bsp_smp_processor_id( void ); * * The pre-requisites for the call to this function are * - disabled interrupts, - * - reception of inter-processor interrupts is possible, + * - delivery of inter-processor interrupts is possible, * - a valid stack pointer and enough stack space, * - a valid code memory, and * - a valid BSS section. * - * This function must not be called by the main processor. + * This function must not be called by the main processor. This function does + * not return to the caller. */ -void rtems_smp_secondary_cpu_initialize( void ); +void rtems_smp_secondary_cpu_initialize( void ) + RTEMS_COMPILER_NO_RETURN_ATTRIBUTE; /** * @brief Process the incoming interprocessor request. -- cgit v1.2.3