mpacpi_cpuprint
static int mpacpi_cpuprint(void *, const char *);
config_found(parent, &caa, mpacpi_cpuprint,