1 
2 /* Pure UX configurations, isolate other headers configurations.  */
3 #include "ux_api.h"
4 
5 #if defined(UX_HOST_STANDALONE) && !defined(_ux_utility_time_get)
6 extern ULONG _tx_time_get(VOID);
_ux_utility_time_get(VOID)7 ULONG _ux_utility_time_get(VOID)
8 {
9     return(_tx_time_get());
10 }
11 #endif
12 #if defined(UX_STANDALONE) && !defined(_ux_utility_interrupt_disable)
13 extern ALIGN_TYPE _tx_thread_interrupt_disable(VOID);
_ux_utility_interrupt_disable(VOID)14 ALIGN_TYPE _ux_utility_interrupt_disable(VOID)
15 {
16     return _tx_thread_interrupt_disable();
17 }
18 #endif
19 #if defined(UX_STANDALONE) && !defined(_ux_utility_interrupt_restore)
20 extern VOID _tx_thread_interrupt_restore(ALIGN_TYPE flags);
_ux_utility_interrupt_restore(ALIGN_TYPE flags)21 VOID _ux_utility_interrupt_restore(ALIGN_TYPE flags)
22 {
23     _tx_thread_interrupt_restore(flags);
24 }
25 #endif
26