Searched refs:xt_sw_intnum (Results 1 – 3 of 3) sorted by relevance
35 int32_t xt_sw_intnum = -1; variable142 xt_sw_intnum = i; in _tx_initialize_low_level()147 if (xt_sw_intnum == -1) { in _tx_initialize_low_level()152 xt_set_interrupt_handler(xt_sw_intnum, xt_sched_handler, 0); in _tx_initialize_low_level()153 xt_interrupt_enable(xt_sw_intnum); in _tx_initialize_low_level()
69 extern int32_t xt_sw_intnum;117 xt_interrupt_trigger(xt_sw_intnum); in xt_interrupt_wrapper()
464 extern int xt_sw_intnum;
