1 /*
2  * Copyright (c) 2017 Oticon A/S
3  *
4  * SPDX-License-Identifier: Apache-2.0
5  */
6 
7 #ifndef _NATIVE_POSIX_IRQ_HANDLER_H
8 #define _NATIVE_POSIX_IRQ_HANDLER_H
9 
10 #include <stdint.h>
11 
12 #ifdef __cplusplus
13 extern "C" {
14 #endif
15 
16 
17 void posix_irq_handler_im_from_sw(void);
18 void posix_sw_set_pending_IRQ(unsigned int IRQn);
19 void posix_sw_clear_pending_IRQ(unsigned int IRQn);
20 
21 
22 #ifdef __cplusplus
23 }
24 #endif
25 
26 #endif /* _NATIVE_POSIX_IRQ_HANDLER_H */
27