cortexprint
config_attach(parent, cf, &ca, cortexprint);
int cortexprint(void *aux, const char *cortex);