5 files changed, 14 insertions, 13 deletions
diff --git a/os/io/platforms/AT91SAM7X/serial_lld.c b/os/io/platforms/AT91SAM7X/serial_lld.c
index 282ebbf7a..baf3e2498 100644
--- a/os/io/platforms/AT91SAM7X/serial_lld.c
+++ b/os/io/platforms/AT91SAM7X/serial_lld.c
@@ -55,7 +55,7 @@ static const SerialDriverConfig default_config = {
  * @param[in] u pointer to an USART I/O block
  * @param[in] config the architecture-dependent serial driver configuration
  */
-void usart_init(AT91PS_USART u, const SerialDriverConfig *config) {
+static void usart_init(AT91PS_USART u, const SerialDriverConfig *config) {
 
   /* Disables IRQ sources and stop operations.*/
   u->US_IDR = 0xFFFFFFFF;
@@ -80,7 +80,7 @@ void usart_init(AT91PS_USART u, const SerialDriverConfig *config) {
  * @brief USART de-initialization.
  * @param[in] u pointer to an USART I/O block
  */
-void usart_deinit(AT91PS_USART u) {
+static void usart_deinit(AT91PS_USART u) {
 
   /* Disables IRQ sources and stop operations.*/
   u->US_IDR = 0xFFFFFFFF;
diff --git a/os/io/platforms/AVR/serial_lld.c b/os/io/platforms/AVR/serial_lld.c
index c29a54ed3..0acf15700 100644
--- a/os/io/platforms/AVR/serial_lld.c
+++ b/os/io/platforms/AVR/serial_lld.c
@@ -78,7 +78,7 @@ static void notify1(void) {
  * @brief USART0 initialization.
  * @param[in] config the architecture-dependent serial driver configuration
  */
-void usart0_init(const SerialDriverConfig *config) {
+static void usart0_init(const SerialDriverConfig *config) {
 
   UBRR0L = config->brr;
   UBRR0H = config->brr >> 8;
@@ -90,7 +90,7 @@ void usart0_init(const SerialDriverConfig *config) {
 /**
  * @brief USART0 de-initialization.
  */
-void usart0_deinit(void) {
+static void usart0_deinit(void) {
 
   UCSR0A = 0;
   UCSR0B = 0;
@@ -108,7 +108,7 @@ static void notify2(void) {
  * @brief USART1 initialization.
  * @param[in] config the architecture-dependent serial driver configuration
  */
-void usart1_init(const SerialDriverConfig *config) {
+static void usart1_init(const SerialDriverConfig *config) {
 
   UBRR1L = config->brr;
   UBRR1H = config->brr >> 8;
@@ -120,7 +120,7 @@ void usart1_init(const SerialDriverConfig *config) {
 /**
  * @brief USART1 de-initialization.
  */
-void usart1_deinit(void) {
+static void usart1_deinit(void) {
 
   UCSR1A = 0;
   UCSR1B = 0;
diff --git a/os/io/platforms/LPC214x/serial_lld.c b/os/io/platforms/LPC214x/serial_lld.c
index b97d42185..c7db717b2 100644
--- a/os/io/platforms/LPC214x/serial_lld.c
+++ b/os/io/platforms/LPC214x/serial_lld.c
@@ -56,7 +56,7 @@ static const SerialDriverConfig default_config = {
  * @param[in] u pointer to an UART I/O block
  * @param[in] config the architecture-dependent serial driver configuration
  */
-void uart_init(UART *u, const SerialDriverConfig *config) {
+static void uart_init(UART *u, const SerialDriverConfig *config) {
 
   uint32_t div = PCLK / (config->speed << 4);
   u->UART_LCR = config->lcr | LCR_DLAB;
@@ -74,7 +74,7 @@ void uart_init(UART *u, const SerialDriverConfig *config) {
  * @brief UART de-initialization.
  * @param[in] u pointer to an UART I/O block
  */
-void uart_deinit(UART *u) {
+static void uart_deinit(UART *u) {
 
   u->UART_DLL = 1;
   u->UART_DLM = 0;
diff --git a/os/io/platforms/MSP430/serial_lld.c b/os/io/platforms/MSP430/serial_lld.c
index 1c9504097..4130432cd 100644
--- a/os/io/platforms/MSP430/serial_lld.c
+++ b/os/io/platforms/MSP430/serial_lld.c
@@ -82,7 +82,7 @@ static void notify1(void) {
  * @brief USART0 initialization.
  * @param[in] config the architecture-dependent serial driver configuration
  */
-void usart0_init(const SerialDriverConfig *config) {
+static void usart0_init(const SerialDriverConfig *config) {
 
   U0CTL = SWRST;                /* Resets the USART, it should already be.*/
   /* USART init */
@@ -102,7 +102,7 @@ void usart0_init(const SerialDriverConfig *config) {
 /**
  * @brief USART0 de-initialization.
  */
-void usart0_deinit(void) {
+static void usart0_deinit(void) {
 
   U0IE &= ~URXIE0;
   U0CTL = SWRST;
@@ -122,7 +122,7 @@ static void notify2(void) {
  * @brief USART1 initialization.
  * @param[in] config the architecture-dependent serial driver configuration
  */
-void usart1_init(const SerialDriverConfig *config) {
+static void usart1_init(const SerialDriverConfig *config) {
 
   U1CTL = SWRST;                /* Resets the USART, it should already be.*/
   /* USART init.*/
@@ -142,7 +142,7 @@ void usart1_init(const SerialDriverConfig *config) {
 /**
  * @brief USART1 de-initialization.
  */
-void usart1_deinit(void) {
+static void usart1_deinit(void) {
 
   U1IE &= ~URXIE0;
   U1CTL = SWRST;
diff --git a/test/testbmk.c b/test/testbmk.c
index f44ae0b8b..39bcdbaa5 100644
--- a/test/testbmk.c
+++ b/test/testbmk.c
@@ -49,6 +49,7 @@
  * - @subpage test_benchmarks_009
  * - @subpage test_benchmarks_010
  * - @subpage test_benchmarks_011
+ * - @subpage test_benchmarks_012
  * .
  * @file testbmk.c Kernel Benchmarks
  * @brief Kernel Benchmarks source file
@@ -418,7 +419,7 @@ const struct testcase testbmk7 = {
 };
 
 /**
- * @page test_benchmarks_009 I/O Round-Robin voluntary rescedulation.
+ * @page test_benchmarks_008 I/O Round-Robin voluntary reschedulation.
  *
  * <h2>Description</h2>
  * Five threads are created at equal priority, each thread just increases a