1 /*
2  * Copyright (c) 2017 Oticon A/S
3  *
4  * SPDX-License-Identifier: Apache-2.0
5  */
6 
7 #ifndef BOARDS_POSIX_NRF52_BSIM_BOARD_IRQ_H
8 #define BOARDS_POSIX_NRF52_BSIM_BOARD_IRQ_H
9 
10 #include <zephyr/types.h>
11 #include "../common/irq/board_irq.h"
12 
13 #ifdef __cplusplus
14 extern "C" {
15 #endif
16 
17 void nrfbsim_WFE_model(void);
18 void nrfbsim_SEV_model(void);
19 
20 #define IRQ_ZERO_LATENCY	BIT(1) /* Unused in this board*/
21 #define IRQ_PRIO_LOWEST		UINT8_MAX
22 
23 #ifdef __cplusplus
24 }
25 #endif
26 
27 #endif /* BOARDS_POSIX_NRF52_BSIM_BOARD_IRQ_H */
28