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 
12 /**************************************************************************/
13 /**************************************************************************/
14 /**                                                                       */
15 /** ThreadX Component                                                     */
16 /**                                                                       */
17 /**   Thread                                                              */
18 /**                                                                       */
19 /**************************************************************************/
20 /**************************************************************************/
21 
22 
23 /**************************************************************************/
24 /*                                                                        */
25 /*  COMPONENT DEFINITION                                   RELEASE        */
26 /*                                                                        */
27 /*    tx_secure_interface.h                               PORTABLE C      */
28 /*                                                            6.1         */
29 /*  AUTHOR                                                                */
30 /*                                                                        */
31 /*    Scott Larson, Microsoft Corporation                                 */
32 /*                                                                        */
33 /*  DESCRIPTION                                                           */
34 /*                                                                        */
35 /*    This file defines the ThreadX secure thread stack components,       */
36 /*    including data types and external references.                       */
37 /*    It is assumed that tx_api.h and tx_port.h have already been         */
38 /*    included.                                                           */
39 /*                                                                        */
40 /*  RELEASE HISTORY                                                       */
41 /*                                                                        */
42 /*    DATE              NAME                      DESCRIPTION             */
43 /*                                                                        */
44 /*  09-30-2020      Scott Larson            Initial Version 6.1           */
45 /*                                                                        */
46 /**************************************************************************/
47 
48 #ifndef TX_SECURE_INTERFACE_H
49 #define TX_SECURE_INTERFACE_H
50 
51 /* Define internal secure thread stack function prototypes.  */
52 
53 extern UINT    _tx_thread_secure_mode_stack_initialize(void);
54 extern UINT    _tx_thread_secure_mode_stack_allocate(TX_THREAD *thread_ptr, ULONG stack_size);
55 extern UINT    _tx_thread_secure_mode_stack_free(TX_THREAD *thread_ptr);
56 extern void    _tx_thread_secure_stack_initialize(void);
57 extern void    _tx_thread_secure_stack_context_save(TX_THREAD *thread_ptr);
58 extern void    _tx_thread_secure_stack_context_restore(TX_THREAD *thread_ptr);
59 
60 #endif
61