at91piobus_print
config_found(self, &gba, at91piobus_print,
static int at91piobus_print(void *, const char *);