1 /*
2  * Copyright (c) 2018-2024, Arm Limited. All rights reserved.
3  * Copyright 2019-2020 NXP. All rights reserved.
4  *
5  * SPDX-License-Identifier: BSD-3-Clause
6  *
7  */
8 
9 #include "tfm_hal_device_header.h"
10 #include "utilities.h"
11 #include "target_cfg.h"
12 /* "exception_info.h" must be the last include because of the IAR pragma */
13 #include "exception_info.h"
14 
C_SEC_VIO_IRQHandler(void)15 void C_SEC_VIO_IRQHandler(void)
16 {
17     /* Clear pending IRQ */
18     NVIC_ClearPendingIRQ(SEC_VIO_IRQn);
19 
20     /* Print fault message and block execution */
21     ERROR_MSG("Platform Exception: MPC/PPC fault!!!");
22 
23     tfm_core_panic();
24 }
25 
SEC_VIO_IRQHandler(void)26 __attribute__((naked)) void SEC_VIO_IRQHandler(void)
27 {
28     EXCEPTION_INFO();
29 
30     __ASM volatile(
31         "BL        C_SEC_VIO_IRQHandler    \n"
32         "B         .                       \n"
33     );
34 }
35