1 /*
2  * Copyright (c) 2023, Nordic Semiconductor ASA
3  *
4  * SPDX-License-Identifier: Apache-2.0
5  */
6 
7 #ifndef _NRF_HW_MODEL_MUTEX_H
8 #define _NRF_HW_MODEL_MUTEX_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_MUTEX_Type NRF_MUTEX_regs;
18 
19 void nhw_MUTEX_regw_sideeffects_MUTEX(uint n);
20 int nhw_MUTEX_regr_sideeffects_MUTEX(uint n);
21 
22 #ifdef __cplusplus
23 }
24 #endif
25 
26 #endif
27 
28