Define __attr_hot___ for __attribute__((hot)) (#1359)

JerryScript-DCO-1.0-Signed-off-by: Akos Kiss akiss@inf.u-szeged.hu
2016-09-19 15:33:54 +02:00
parent dcaec22c0c
commit 971dcae669
3 changed files with 7 additions and 6 deletions
@@ -97,7 +97,7 @@ jmem_pools_finalize (void)
 * @return pointer to allocated chunk, if allocation was successful,
 *         or NULL - if not enough memory.
 */
-inline void * __attribute__((hot)) __attr_always_inline___
+inline void * __attr_hot___ __attr_always_inline___
 jmem_pools_alloc (size_t size) /**< size of the chunk */
 {
 #ifdef JMEM_GC_BEFORE_EACH_ALLOC
@@ -158,7 +158,7 @@ jmem_pools_alloc (size_t size) /**< size of the chunk */
 /**
 * Free the chunk
 */
-inline void __attribute__((hot)) __attr_always_inline___
+inline void __attr_hot___ __attr_always_inline___
 jmem_pools_free (void *chunk_p, /**< pointer to the chunk */
                 size_t size) /**< size of the chunk */
 {