Searched refs:xen_handle_thread_switch (Results 1 – 2 of 2) sorted by relevance
1217 void xen_handle_thread_switch(struct pcb *pcb);1223 xen_handle_thread_switch(struct pcb *pcb) in xen_handle_thread_switch() function
217 call xen_handle_thread_switch