1 /*
2  * Copyright (c) 2023 Nordic Semiconductor ASA
3  *
4  * SPDX-License-Identifier: Apache-2.0
5  *
6  * This file contains common types shared between peripherals models
7  */
8 #ifndef _NRF_HW_MODELS_COMMON_TYPES_H
9 #define _NRF_HW_MODELS_COMMON_TYPES_H
10 
11 #include <stdbool.h>
12 #include <stdint.h>
13 
14 #ifdef __cplusplus
15 extern "C"{
16 #endif
17 
18 /* Type used to keep the mapping of a peripheral instance to its interrupt controller line and instance */
19 struct nhw_irq_mapping {
20   unsigned int cntl_inst;
21   unsigned int int_nbr;
22 };
23 
24 /* Type used to keep the mapping of a peripheral instance to its DPPI instance */
25 struct nhw_dppi_mapping {
26   unsigned int dppi_inst;
27 };
28 
29 /* Type used to keep the current/last status of each subscribable task */
30 struct nhw_subsc_mem {
31   bool is_subscribed;
32   uint8_t subscribed_ch;
33 };
34 
35 #ifdef __cplusplus
36 }
37 #endif
38 
39 #endif /* _NRF_HW_MODELS_COMMON_TYPES_H */
40