Searched refs:sched_switch_tss (Results 1 – 2 of 2) sorted by relevance
17 sched_switch_tss = 0, enumerator
27 da_handle_event_tss(sched_switch_tss); in handle_sched_switch()