diff options
9 files changed, 75 insertions, 9 deletions
diff --git a/platform/ext/target/mps2/an519/tfm_peripherals_def.h b/platform/ext/target/mps2/an519/tfm_peripherals_def.h index de7f5e4851..0d0a0a50b1 100644 --- a/platform/ext/target/mps2/an519/tfm_peripherals_def.h +++ b/platform/ext/target/mps2/an519/tfm_peripherals_def.h @@ -1,5 +1,6 @@ /* * Copyright (c) 2018-2019, Arm Limited. All rights reserved. + * Copyright (c) 2020, Cypress Semiconductor Corporation. All rights reserved. * * SPDX-License-Identifier: BSD-3-Clause * @@ -8,7 +9,14 @@ #ifndef __TFM_PERIPHERALS_DEF_H__ #define __TFM_PERIPHERALS_DEF_H__ -#define TFM_TIMER0_IRQ (3) +#include "platform_irq.h" + +#ifdef __cplusplus +extern "C" { +#endif + +#define TFM_TIMER0_IRQ (TIMER0_IRQn) +#define TFM_TIMER1_IRQ (TIMER1_IRQn) struct tfm_spm_partition_platform_data_t; @@ -22,4 +30,8 @@ extern struct tfm_spm_partition_platform_data_t tfm_peripheral_timer0; #define TFM_PERIPHERAL_FPGA_IO (&tfm_peripheral_fpga_io) #define TFM_PERIPHERAL_TIMER0 (&tfm_peripheral_timer0) +#ifdef __cplusplus +} +#endif + #endif /* __TFM_PERIPHERALS_DEF_H__ */ diff --git a/platform/ext/target/mps2/an521/tfm_peripherals_def.h b/platform/ext/target/mps2/an521/tfm_peripherals_def.h index de7f5e4851..0d0a0a50b1 100644 --- a/platform/ext/target/mps2/an521/tfm_peripherals_def.h +++ b/platform/ext/target/mps2/an521/tfm_peripherals_def.h @@ -1,5 +1,6 @@ /* * Copyright (c) 2018-2019, Arm Limited. All rights reserved. + * Copyright (c) 2020, Cypress Semiconductor Corporation. All rights reserved. * * SPDX-License-Identifier: BSD-3-Clause * @@ -8,7 +9,14 @@ #ifndef __TFM_PERIPHERALS_DEF_H__ #define __TFM_PERIPHERALS_DEF_H__ -#define TFM_TIMER0_IRQ (3) +#include "platform_irq.h" + +#ifdef __cplusplus +extern "C" { +#endif + +#define TFM_TIMER0_IRQ (TIMER0_IRQn) +#define TFM_TIMER1_IRQ (TIMER1_IRQn) struct tfm_spm_partition_platform_data_t; @@ -22,4 +30,8 @@ extern struct tfm_spm_partition_platform_data_t tfm_peripheral_timer0; #define TFM_PERIPHERAL_FPGA_IO (&tfm_peripheral_fpga_io) #define TFM_PERIPHERAL_TIMER0 (&tfm_peripheral_timer0) +#ifdef __cplusplus +} +#endif + #endif /* __TFM_PERIPHERALS_DEF_H__ */ diff --git a/platform/ext/target/mps2/an539/tfm_peripherals_def.h b/platform/ext/target/mps2/an539/tfm_peripherals_def.h index 5376752eed..ed1e8507d1 100644 --- a/platform/ext/target/mps2/an539/tfm_peripherals_def.h +++ b/platform/ext/target/mps2/an539/tfm_peripherals_def.h @@ -1,5 +1,6 @@ /* * Copyright (c) 2019, Arm Limited. All rights reserved. + * Copyright (c) 2020, Cypress Semiconductor Corporation. All rights reserved. * * SPDX-License-Identifier: BSD-3-Clause * @@ -8,11 +9,14 @@ #ifndef __TFM_PERIPHERALS_DEF_H__ #define __TFM_PERIPHERALS_DEF_H__ +#include "platform_irq.h" + #ifdef __cplusplus extern "C" { #endif -#define TFM_TIMER0_IRQ (3) +#define TFM_TIMER0_IRQ (TIMER0_IRQn) +#define TFM_TIMER1_IRQ (TIMER1_IRQn) struct tfm_spm_partition_platform_data_t; diff --git a/platform/ext/target/mps3/an524/tfm_peripherals_def.h b/platform/ext/target/mps3/an524/tfm_peripherals_def.h index 958313a84d..a6a8e558cb 100644 --- a/platform/ext/target/mps3/an524/tfm_peripherals_def.h +++ b/platform/ext/target/mps3/an524/tfm_peripherals_def.h @@ -1,5 +1,6 @@ /* * Copyright (c) 2019, Arm Limited. All rights reserved. + * Copyright (c) 2020, Cypress Semiconductor Corporation. All rights reserved. * * SPDX-License-Identifier: BSD-3-Clause * @@ -8,11 +9,14 @@ #ifndef __TFM_PERIPHERALS_DEF_H__ #define __TFM_PERIPHERALS_DEF_H__ +#include "platform_irq.h" + #ifdef __cplusplus extern "C" { #endif -#define TFM_TIMER0_IRQ (3) +#define TFM_TIMER0_IRQ (TIMER0_IRQn) +#define TFM_TIMER1_IRQ (TIMER1_IRQn) struct tfm_spm_partition_platform_data_t; diff --git a/platform/ext/target/musca_a/tfm_peripherals_def.h b/platform/ext/target/musca_a/tfm_peripherals_def.h index f557701476..6f70235210 100644 --- a/platform/ext/target/musca_a/tfm_peripherals_def.h +++ b/platform/ext/target/musca_a/tfm_peripherals_def.h @@ -1,5 +1,6 @@ /* * Copyright (c) 2018-2019, Arm Limited. All rights reserved. + * Copyright (c) 2020, Cypress Semiconductor Corporation. All rights reserved. * * SPDX-License-Identifier: BSD-3-Clause * @@ -8,7 +9,14 @@ #ifndef __TFM_PERIPHERALS_DEF_H__ #define __TFM_PERIPHERALS_DEF_H__ -#define TFM_TIMER0_IRQ (3) +#include "platform_irq.h" + +#ifdef __cplusplus +extern "C" { +#endif + +#define TFM_TIMER0_IRQ (TIMER0_IRQn) +#define TFM_TIMER1_IRQ (TIMER1_IRQn) struct tfm_spm_partition_platform_data_t; @@ -19,4 +27,8 @@ extern struct tfm_spm_partition_platform_data_t tfm_peripheral_timer0; #define TFM_PERIPHERAL_TIMER0 (&tfm_peripheral_timer0) #define TFM_PERIPHERAL_FPGA_IO (0) +#ifdef __cplusplus +} +#endif + #endif /* __TFM_PERIPHERALS_DEF_H__ */ diff --git a/platform/ext/target/musca_b1/tfm_peripherals_def.h b/platform/ext/target/musca_b1/tfm_peripherals_def.h index 4ece630287..6f70235210 100644 --- a/platform/ext/target/musca_b1/tfm_peripherals_def.h +++ b/platform/ext/target/musca_b1/tfm_peripherals_def.h @@ -1,5 +1,6 @@ /* * Copyright (c) 2018-2019, Arm Limited. All rights reserved. + * Copyright (c) 2020, Cypress Semiconductor Corporation. All rights reserved. * * SPDX-License-Identifier: BSD-3-Clause * @@ -8,11 +9,14 @@ #ifndef __TFM_PERIPHERALS_DEF_H__ #define __TFM_PERIPHERALS_DEF_H__ +#include "platform_irq.h" + #ifdef __cplusplus extern "C" { #endif -#define TFM_TIMER0_IRQ (3) +#define TFM_TIMER0_IRQ (TIMER0_IRQn) +#define TFM_TIMER1_IRQ (TIMER1_IRQn) struct tfm_spm_partition_platform_data_t; diff --git a/platform/ext/target/musca_s1/tfm_peripherals_def.h b/platform/ext/target/musca_s1/tfm_peripherals_def.h index 4ece630287..6f70235210 100644 --- a/platform/ext/target/musca_s1/tfm_peripherals_def.h +++ b/platform/ext/target/musca_s1/tfm_peripherals_def.h @@ -1,5 +1,6 @@ /* * Copyright (c) 2018-2019, Arm Limited. All rights reserved. + * Copyright (c) 2020, Cypress Semiconductor Corporation. All rights reserved. * * SPDX-License-Identifier: BSD-3-Clause * @@ -8,11 +9,14 @@ #ifndef __TFM_PERIPHERALS_DEF_H__ #define __TFM_PERIPHERALS_DEF_H__ +#include "platform_irq.h" + #ifdef __cplusplus extern "C" { #endif -#define TFM_TIMER0_IRQ (3) +#define TFM_TIMER0_IRQ (TIMER0_IRQn) +#define TFM_TIMER1_IRQ (TIMER1_IRQn) struct tfm_spm_partition_platform_data_t; diff --git a/platform/ext/target/sse-200_aws/tfm_peripherals_def.h b/platform/ext/target/sse-200_aws/tfm_peripherals_def.h index bc38eb4fdc..b9b4e7a51f 100644 --- a/platform/ext/target/sse-200_aws/tfm_peripherals_def.h +++ b/platform/ext/target/sse-200_aws/tfm_peripherals_def.h @@ -1,5 +1,6 @@ /* * Copyright (c) 2018-2019, Arm Limited. All rights reserved. + * Copyright (c) 2020, Cypress Semiconductor Corporation. All rights reserved. * * SPDX-License-Identifier: BSD-3-Clause * @@ -8,7 +9,14 @@ #ifndef __TFM_PERIPHERALS_DEF_H__ #define __TFM_PERIPHERALS_DEF_H__ -#define TFM_TIMER0_IRQ (3) +#include "platform_irq.h" + +#ifdef __cplusplus +extern "C" { +#endif + +#define TFM_TIMER0_IRQ (TIMER0_IRQn) +#define TFM_TIMER1_IRQ (TIMER1_IRQn) struct tfm_spm_partition_platform_data_t; @@ -20,4 +28,8 @@ extern struct tfm_spm_partition_platform_data_t tfm_peripheral_timer0; #define TFM_PERIPHERAL_FPGA_IO (&tfm_peripheral_fpga_io) #define TFM_PERIPHERAL_TIMER0 (&tfm_peripheral_timer0) +#ifdef __cplusplus +} +#endif + #endif /* __TFM_PERIPHERALS_DEF_H__ */ diff --git a/test/suites/core/non_secure/core_ns_positive_testsuite.c b/test/suites/core/non_secure/core_ns_positive_testsuite.c index 4a0e70984c..4b275ab9ac 100644 --- a/test/suites/core/non_secure/core_ns_positive_testsuite.c +++ b/test/suites/core/non_secure/core_ns_positive_testsuite.c @@ -1,5 +1,6 @@ /* * Copyright (c) 2017-2019, Arm Limited. All rights reserved. + * Copyright (c) 2020, Cypress Semiconductor Corporation. All rights reserved. * * SPDX-License-Identifier: BSD-3-Clause * @@ -20,6 +21,7 @@ #endif /* TFM_PSA_API */ #ifdef TFM_ENABLE_IRQ_TEST #include "platform_irq.h" +#include "tfm_peripherals_def.h" #endif /* Define test suite for core tests */ @@ -595,7 +597,7 @@ static void tfm_core_test_irq(struct test_result_t *ret) { int32_t err; - NVIC_EnableIRQ(4); + NVIC_EnableIRQ(TFM_TIMER1_IRQ); err = tfm_core_test_irq_scenario(IRQ_TEST_SCENARIO_1); if (err != CORE_TEST_ERRNO_SUCCESS) { |