Searched refs:cpu_intr_swtch_enter (Results 1 – 4 of 4) sorted by relevance
610 void cpu_intr_swtch_enter(kthread_t *);
534 cpu_intr_swtch_enter(kthread_id_t t) in cpu_intr_swtch_enter() function
1226 cpu_intr_swtch_enter(kthread_id_t t) in cpu_intr_swtch_enter() function
878 cpu_intr_swtch_enter(t); in swtch()