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