Symbol: int_moveto_origcpu
sys/kern/kern_intr.c
135
static void int_moveto_origcpu(int, int);
sys/kern/kern_intr.c
402
int_moveto_origcpu(orig_cpuid, cpuid);
sys/kern/kern_intr.c
480
int_moveto_origcpu(orig_cpuid, cpuid);