devinfo_cpu_add
static HalDevice *devinfo_cpu_add(HalDevice *, di_node_t, char *, char *);
devinfo_cpu_add,