/* Callback function for the GPIO driver, called when a GPIO interrupt detection occurs.  */
static void gpio_callback(void)
/* Callback function for the GPIO driver, called when a GPIO interrupt detection occurs.  */
static void gpio_callback(void)
{
	g_b_led0_active = true;
}