Symbol: at91_gpio_dbg_show