Searched refs:npxswitch (Results 1 – 2 of 2) sorted by relevance
931 void npxswitch(struct thread *td, struct pcb *pcb);933 npxswitch(struct thread *td, struct pcb *pcb) in npxswitch() function
284 call npxswitch