/* Configures and registers the GPIO callback function with the driver.  */
static void configure_gpio_callback(void)
/* Configures and registers the GPIO callback function with the driver.  */
static void configure_gpio_callback(void)
{
	gpio_init();
	gpio_register_callback(BUTTON_0_PIN, gpio_callback,
			GPIO_CALLBACK_FALLING);
	gpio_enable_callback(BUTTON_0_PIN);
}