1 /*************************************************************************** 2 * Copyright (c) 2024 Microsoft Corporation 3 * 4 * This program and the accompanying materials are made available under the 5 * terms of the MIT License which is available at 6 * https://opensource.org/licenses/MIT. 7 * 8 * SPDX-License-Identifier: MIT 9 **************************************************************************/ 10 11 #ifndef TM_PORTING_LAYER_H 12 #define TM_PORTING_LAYER_H 13 14 #include <stdio.h> 15 16 extern void tm_cause_interrupt(void); 17 18 #define TM_CAUSE_INTERRUPT tm_cause_interrupt() 19 20 #endif 21