tx39spi_print
config_attach(parent, cf, &sa, tx39spi_print, CFARGS_NONE);
static int tx39spi_print(void *, const char *);