gpio_print         48 dev/gpio/gpio.c int	gpio_print(void *, const char *);
gpio_print        120 dev/gpio/gpio.c 		config_attach(parent, cf, &ga, gpio_print);