mach_cpu_create_devinfo
static int mach_cpu_create_devinfo(cpu_t *cp, dev_info_t **dipp);
int (*psm_cpu_create_devinfo)(cpu_t *, dev_info_t **) = mach_cpu_create_devinfo;