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    (TIMER0_IRQn)
25 #define TFM_TIMER1_IRQ    (TIMER1_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_uart1;
31 extern struct platform_data_t tfm_peripheral_timer0;
32 
33 #define TFM_PERIPHERAL_STD_UART  (&tfm_peripheral_std_uart)
34 #define TFM_PERIPHERAL_UART1     (&tfm_peripheral_uart1)
35 #define TFM_PERIPHERAL_TIMER0    (&tfm_peripheral_timer0)
36 
37 #ifdef __cplusplus
38 }
39 #endif
40 
41 #endif /* __TFM_PERIPHERALS_DEF_H__ */
42