sys/arch/aarch64/include/cpu.h

220

void cpu_hatch(struct cpu_info *);

sys/arch/alpha/include/alpha.h

158

void cpu_hatch(struct cpu_info *);

sys/arch/arm/include/arm32/machdep.h

61

void cpu_hatch(struct cpu_info *, u_int, void (*)(struct cpu_info *));

sys/arch/hppa/include/cpu.h

441

void cpu_hatch(void);

sys/arch/mips/include/locore.h

643

void cpu_hatch(struct cpu_info *ci);

sys/arch/powerpc/include/cpu.h

417

cpu_hatch(void);

sys/arch/riscv/include/cpu.h

127

void cpu_hatch(struct cpu_info *, unsigned long);

sys/arch/sparc/include/locore.h

38

void cpu_hatch(void);

sys/arch/sparc/sparc/cpu.c

683

pc = (void *)cpu_hatch;

sys/arch/sparc64/include/cpu.h

308

void cpu_hatch(void);

sys/arch/x86/x86/cpu.c

210

void cpu_hatch(void *);

sys/arch/xen/x86/cpu.c

182

void cpu_hatch(void *);

sys/arch/xen/x86/cpu.c

653

if (CPU_STARTUP(ci, (vaddr_t) cpu_hatch) != 0) {