Symbol: intr_cpu_hatch
sys/arch/evbppc/mpc85xx/machdep.c
1028
intr_cpu_hatch(ci);
sys/arch/evbppc/mpc85xx/machdep.c
1073
intr_cpu_hatch(ci);
sys/arch/powerpc/include/booke/intr.h
94
void intr_cpu_hatch(struct cpu_info *);
sys/arch/powerpc/powerpc/intr_stubs.c
168
intr_cpu_hatch(struct cpu_info *ci)