1 /*
2  * Copyright (c) 2018, Pinecone Inc. and Contributors. All rights reserved.
3  *
4  * SPDX-License-Identifier: BSD-3-Clause
5  */
6 
7 /*
8  * @file	nuttx/irq.h
9  * @brief	NuttX libmetal irq definitions.
10  */
11 
12 #ifndef __METAL_IRQ__H__
13 #error "Include metal/irq.h instead of metal/nuttx/irq.h"
14 #endif
15 
16 #ifndef __METAL_NUTTX_IRQ__H__
17 #define __METAL_NUTTX_IRQ__H__
18 
19 #ifdef __cplusplus
20 extern "C" {
21 #endif
22 
23 int metal_cntr_irq_init(void);
24 
25 #ifdef __cplusplus
26 }
27 #endif
28 
29 #endif /* __METAL_NUTTX_IRQ__H__ */
30