1 /*
2  * Copyright (c) 2018-2021, Arm Limited. All rights reserved.
3  * Copyright (c) 2020, Cypress Semiconductor Corporation. All rights reserved.
4  *
5  * SPDX-License-Identifier: BSD-3-Clause
6  *
7  */
8 
9 #ifndef __TFM_PERIPHERALS_DEF_H__
10 #define __TFM_PERIPHERALS_DEF_H__
11 
12 #include "NuMicro.h"
13 
14 #ifdef __cplusplus
15 extern "C" {
16 #endif
17 
18 #define TFM_TIMER0_IRQ    (TMR0_IRQn)
19 #define TFM_TIMER1_IRQ    (TMR1_IRQn)
20 
21 struct platform_data_t;
22 
23 extern struct platform_data_t tfm_peripheral_std_uart;
24 extern struct platform_data_t tfm_peripheral_uart1;
25 extern struct platform_data_t tfm_peripheral_timer0;
26 
27 #define TFM_PERIPHERAL_STD_UART  (&tfm_peripheral_std_uart)
28 #define TFM_PERIPHERAL_UART1     (&tfm_peripheral_uart1)
29 #define TFM_PERIPHERAL_TIMER0    (&tfm_peripheral_timer0)
30 
31 #ifdef __cplusplus
32 }
33 #endif
34 
35 #endif /* __TFM_PERIPHERALS_DEF_H__ */
36