diff options
| author | Yuxin Zhou <[email protected]> | 2022-04-20 05:07:02 +0000 |
|---|---|---|
| committer | Yuxin Zhou <[email protected]> | 2022-04-20 05:07:02 +0000 |
| commit | cef9cb22a5e2b9bca56074c5e627225ec0dd3d73 (patch) | |
| tree | ace896ab3613348e16eef2a543affa2c984ee6ea /utility/execution_profile_kit/tx_execution_profile.h | |
| parent | f851772ce02633f62d2fb4d043766ea54268684f (diff) | |
Release 6.1.11
Diffstat (limited to 'utility/execution_profile_kit/tx_execution_profile.h')
| -rw-r--r-- | utility/execution_profile_kit/tx_execution_profile.h | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/utility/execution_profile_kit/tx_execution_profile.h b/utility/execution_profile_kit/tx_execution_profile.h index 09ca91a9..9973c22d 100644 --- a/utility/execution_profile_kit/tx_execution_profile.h +++ b/utility/execution_profile_kit/tx_execution_profile.h @@ -58,20 +58,21 @@ typedef unsigned long EXECUTION_TIME_SOURCE_TYPE; /* Example for Cortex-M targets: */ #ifndef TX_EXECUTION_TIME_SOURCE -#define TX_EXECUTION_TIME_SOURCE (EXECUTION_TIME_SOURCE_TYPE) *((ULONG *) 0xE0001004) +#define TX_EXECUTION_TIME_SOURCE (EXECUTION_TIME_SOURCE_TYPE) *((volatile ULONG *) 0xE0001004) #endif #ifndef TX_EXECUTION_MAX_TIME_SOURCE #define TX_EXECUTION_MAX_TIME_SOURCE 0xFFFFFFFF #endif /* For 64-bit time source, the constant would be: */ -/*#define TX_EXECUTION_TIME_SOURCE (EXECUTION_TIME_SOURCE_TYPE) *((unsigned long long *) 0xE0001004) */ +/*#define TX_EXECUTION_TIME_SOURCE (EXECUTION_TIME_SOURCE_TYPE) *((volatile unsigned long long *) 0xE0001004) */ /*#define TX_EXECUTION_MAX_TIME_SOURCE 0xFFFFFFFFFFFFFFFF */ /* Define APIs of the execution profile kit. */ struct TX_THREAD_STRUCT; +VOID _tx_execution_initialize(void); VOID _tx_execution_thread_enter(void); VOID _tx_execution_thread_exit(void); VOID _tx_execution_isr_enter(void); |