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