Searched refs:cpu_intr_swtch_exit (Results 1 – 4 of 4) sorted by relevance
611 void cpu_intr_swtch_exit(kthread_t *);
577 cpu_intr_swtch_exit(kthread_id_t t) in cpu_intr_swtch_exit() function
1267 cpu_intr_swtch_exit(kthread_id_t t) in cpu_intr_swtch_exit() function
949 cpu_intr_swtch_exit(t); in swtch()