cpu_hatch
void cpu_hatch(struct cpu_info *);
void cpu_hatch(void *);
void cpu_hatch(void);
pmap_extract(pmap_kernel(), (vaddr_t)cpu_hatch, &startaddr);
void cpu_hatch(void);
void cpu_hatch(void *);
void cpu_hatch(void);
if (opal_start_cpu(ci->ci_pir, (vaddr_t)cpu_hatch) ==
void cpu_hatch(void);
void cpu_hatch(void);
pmap_extract(pmap_kernel(), (vaddr_t)cpu_hatch, &start_addr);
cpi->ci_spinup = cpu_hatch; /* XXX */
void cpu_hatch(void);