Searched refs:_tx_time_get (Results 1 – 7 of 7) sorted by relevance
67 ULONG _tx_time_get(VOID) in _tx_time_get() function
75 ULONG _tx_time_get(VOID) in _tx_time_get() function
79 current_time = _tx_time_get(); in thread_0_entry()
1288 #define tx_time_get _tx_time_get1416 #define tx_time_get _tx_time_get1533 #define tx_time_get _tx_time_get1847 ULONG _tx_time_get(VOID);
1204 #define tx_time_get _tx_time_get1327 #define tx_time_get _tx_time_get1438 #define tx_time_get _tx_time_get1842 ULONG _tx_time_get(VOID);
2688 return_value = (ALIGN_TYPE) _tx_time_get(); in _txm_module_manager_tx_time_get_dispatch()
