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 "platform_irq.h"
13 
14 #ifdef __cplusplus
15 extern "C" {
16 #endif
17 
18 /*
19  * Quantized default IRQ priority, the value is:
20  * (Number of configurable priority) / 4: (1UL << __NVIC_PRIO_BITS) / 4
21  */
22 #define DEFAULT_IRQ_PRIORITY    (1UL << (__NVIC_PRIO_BITS - 2))
23 
24 #define TFM_TIMER0_IRQ              (NvicMux3_IRQn)
25 #define TFM_TIMER1_IRQ              (tcpwm_0_interrupts_1_IRQn)
26 
27 struct platform_data_t;
28 
29 extern struct platform_data_t tfm_peripheral_std_uart;
30 extern struct platform_data_t tfm_peripheral_timer0;
31 
32 #define TFM_PERIPHERAL_STD_UART     (&tfm_peripheral_std_uart)
33 #define TFM_PERIPHERAL_TIMER0       (&tfm_peripheral_timer0)
34 
35 #ifdef __cplusplus
36 }
37 #endif
38 
39 #endif /* __TFM_PERIPHERALS_DEF_H__ */
40