Searched refs:_tx_execution_initialize (Results 1 – 3 of 3) sorted by relevance
33 extern VOID _tx_execution_initialize(VOID);155 _tx_execution_initialize(); in _tx_initialize_kernel_enter()
74 VOID _tx_execution_initialize(void);
142 VOID _tx_execution_initialize(void) in _tx_execution_initialize() function
