Searched refs:cpu_intr_swtch_enter (Results 1 – 4 of 4) sorted by relevance
637 void cpu_intr_swtch_enter(kthread_t *);
528 cpu_intr_swtch_enter(kthread_id_t t) in cpu_intr_swtch_enter() function
1204 cpu_intr_swtch_enter(kthread_id_t t) in cpu_intr_swtch_enter() function
858 cpu_intr_swtch_enter(t); in swtch()