Searched refs:cpu_intr_swtch_exit (Results 1 – 4 of 4) sorted by relevance
638 void cpu_intr_swtch_exit(kthread_t *);
571 cpu_intr_swtch_exit(kthread_id_t t) in cpu_intr_swtch_exit() function
1245 cpu_intr_swtch_exit(kthread_id_t t) in cpu_intr_swtch_exit() function
929 cpu_intr_swtch_exit(t); in swtch()