From f0dbdb0ab72e0d5cbc7701ca64ba220da479b4e9 Mon Sep 17 00:00:00 2001
From: Andrew Boie <andrew.p.boie@intel.com>
Date: Fri, 15 Apr 2016 11:40:42 -0700
Subject: [PATCH] headers: use __deprecated

Change-Id: I0cdb22cee206a3eacf25637a45844b7f588996ff
Signed-off-by: Andrew Boie <andrew.p.boie@intel.com>
---
 include/irq.h                  |  3 ++-
 include/microkernel/task_irq.h | 10 +++++-----
 2 files changed, 7 insertions(+), 6 deletions(-)

diff --git a/include/irq.h b/include/irq.h
index 33e3594f0ac..213cc4f2748 100644
--- a/include/irq.h
+++ b/include/irq.h
@@ -25,6 +25,7 @@
 #include <arch/cpu.h>
 
 #ifndef _ASMLANGUAGE
+#include <toolchain/gcc.h>
 
 #ifdef __cplusplus
 extern "C" {
@@ -61,7 +62,7 @@ extern int _arch_irq_connect_dynamic(unsigned int irq, unsigned int priority,
 			     void (*routine)(void *parameter), void *parameter,
 			     uint32_t flags);
 
-static inline int  __attribute__((deprecated))
+static inline int  __deprecated
 irq_connect_dynamic(unsigned int irq, unsigned int priority,
 		    void (*routine)(void *parameter), void *parameter,
 		    uint32_t flags)
diff --git a/include/microkernel/task_irq.h b/include/microkernel/task_irq.h
index 5f099a56587..a278df72918 100644
--- a/include/microkernel/task_irq.h
+++ b/include/microkernel/task_irq.h
@@ -28,6 +28,7 @@
  */
 
 #include <microkernel/base_api.h>
+#include <toolchain/gcc.h>
 
 #ifdef __cplusplus
 extern "C" {
@@ -52,8 +53,8 @@ extern "C" {
  *
  * @return assigned interrupt vector if successful, INVALID_VECTOR if not
  */
-extern uint32_t task_irq_alloc(kirq_t irq_obj, uint32_t irq, uint32_t priority,
-			       uint32_t flags) __attribute__((deprecated));
+extern uint32_t __deprecated task_irq_alloc(kirq_t irq_obj, uint32_t irq,
+					    uint32_t priority, uint32_t flags);
 
 /**
  *
@@ -65,7 +66,7 @@ extern uint32_t task_irq_alloc(kirq_t irq_obj, uint32_t irq, uint32_t priority,
  *
  * @return N/A
  */
-extern void task_irq_ack(kirq_t irq_obj) __attribute__((deprecated));
+extern void __deprecated task_irq_ack(kirq_t irq_obj);
 
 /**
  * @brief Wait for task IRQ to signal an interrupt.
@@ -85,8 +86,7 @@ extern void task_irq_ack(kirq_t irq_obj) __attribute__((deprecated));
  * @a timeout = TICKS_NONE.
  * @sa TICKS_NONE, TICKS_UNLIMITED
  */
-extern int task_irq_wait(kirq_t irq_obj, int32_t timeout)
-	__attribute__((deprecated));
+extern int __deprecated task_irq_wait(kirq_t irq_obj, int32_t timeout);
 
 /**
  * @}