mach_cpu_get_device_node
if (mach_cpu_get_device_node(cp, &dip) != PSM_SUCCESS) {
extern int mach_cpu_get_device_node(cpu_t *, dev_info_t **);