mach_cpu_create_device_node
(void) mach_cpu_create_device_node(cp, NULL);
(void) mach_cpu_create_device_node(CPU, NULL);
extern int mach_cpu_create_device_node(cpu_t *, dev_info_t **);