Rename Jerry's libc functions: __function_name -> function_name.

jerry-libc/target/stm32f3/jerry-libc.cpp

@@ -1,4 +1,4 @@
-/* Copyright 2014 Samsung Electronics Co., Ltd.
+/* Copyright 2014-2015 Samsung Electronics Co., Ltd.
  *
  * Licensed under the Apache License, Version 2.0 (the "License");
  * you may not use this file except in compliance with the License.
@@ -25,14 +25,14 @@ extern void __noreturn exit (int status);
 
 /** Output of character. Writes the character c, cast to an unsigned char, to stdout.  */
 int
-__putchar (int c)
+putchar (int c)
 {
   JERRY_UNIMPLEMENTED_REF_UNUSED_VARS("putchar is not implemented for STM32F3.", c);
-} /* __putchar */
+} /* putchar */
 
 /** exit - cause normal process termination  */
-void __noreturn
-__exit (int status __unused)
+void __noreturn __used
+exit (int status __unused)
 {
   /**
    * TODO: Blink LEDs? status -> binary -> LEDs?
@@ -41,7 +41,7 @@ __exit (int status __unused)
   while (true)
   {
   }
-} /* __exit */
+} /* exit */
 
 /**
  * fwrite
@@ -49,11 +49,11 @@ __exit (int status __unused)
  * @return number of bytes written
  */
 size_t
-__fwrite (const void *ptr, /**< data to write */
+fwrite (const void *ptr, /**< data to write */
          size_t size, /**< size of elements to write */
          size_t nmemb, /**< number of elements */
          _FILE *stream) /**< stream pointer */
 {
   JERRY_UNIMPLEMENTED_REF_UNUSED_VARS("fwrite is not implemented for STM32F3.", ptr, size, nmemb, stream);
-} /* __fwrite */
+} /* fwrite */