1 /*
2  * Copyright (c) 2023, Nordic Semiconductor ASA
3  *
4  * SPDX-License-Identifier: Apache-2.0
5  */
6 
7 #ifndef _NRF_HW_MODEL_IPC_H
8 #define _NRF_HW_MODEL_IPC_H
9 
10 #include "bs_types.h"
11 #include "NHW_config.h"
12 
13 #ifdef __cplusplus
14 extern "C"{
15 #endif
16 
17 extern NRF_IPC_Type NRF_IPC_regs[NHW_IPC_TOTAL_INST];
18 
19 void nhw_IPC_regw_sideeffects_TASKS_SEND(uint inst, uint ch);
20 void nhw_IPC_regw_sideeffects_EVENTS_all(uint inst);
21 void nhw_IPC_regw_sideeffects_INTEN(uint inst);
22 void nhw_IPC_regw_sideeffects_INTENSET(uint inst);
23 void nhw_IPC_regw_sideeffects_INTENCLR(uint inst);
24 void nhw_IPC_regw_sideeffects_SUBSCRIBE_SEND(uint inst, uint ch);
25 
26 #ifdef __cplusplus
27 }
28 #endif
29 
30 #endif
31 
32