1 /*
2  * Copyright (c) 2023 Nordic Semiconductor ASA
3  *
4  * SPDX-License-Identifier: Apache-2.0
5  */
6 
7 #ifndef _NRF_HW_MODEL_GPIO_BACKEND_H
8 #define _NRF_HW_MODEL_GPIO_BACKEND_H
9 
10 #include <stdint.h>
11 #include <stdbool.h>
12 
13 #ifdef __cplusplus
14 extern "C"{
15 #endif
16 
17 void nrf_gpio_backend_init(void);
18 void nrf_gpio_backend_short_propagate(unsigned int port, unsigned int n, bool value);
19 void nrf_gpio_backend_write_output_change(unsigned int port, unsigned int n, bool value);
20 
21 void nrf_gpio_backend_register_short(uint8_t X, uint8_t x, uint8_t Y, uint8_t y);
22 
23 #ifdef __cplusplus
24 }
25 #endif
26 
27 #endif /* _NRF_HW_MODEL_GPIO_BACKEND_H */
28