Searched refs:user_timer (Results 1 – 4 of 4) sorted by relevance
252 VOID _tx_misra_user_timer_pointer_get(TX_TIMER_INTERNAL *internal_timer, TX_TIMER **user_timer) in _tx_misra_user_timer_pointer_get() argument263 *user_timer = (TX_TIMER *) working_ptr; in _tx_misra_user_timer_pointer_get()
250 VOID _tx_misra_user_timer_pointer_get(TX_TIMER_INTERNAL *internal_timer, TX_TIMER **user_timer) in _tx_misra_user_timer_pointer_get() argument261 *user_timer = (TX_TIMER *) working_ptr; in _tx_misra_user_timer_pointer_get()
1936 … _tx_misra_user_timer_pointer_get(TX_TIMER_INTERNAL *internal_timer, TX_TIMER **user_timer);
1943 … _tx_misra_user_timer_pointer_get(TX_TIMER_INTERNAL *internal_timer, TX_TIMER **user_timer);