/* Handler for INT1, rising edge interrupt. In INT1, it will trigger INT2.  */
static void Int1Handler(uint32_t ul_id, uint32_t ul_mask)
/* Handler for INT1, rising edge interrupt. In INT1, it will trigger INT2.  */
static void Int1Handler(uint32_t ul_id, uint32_t ul_mask)
{
	if (PIN_PUSHBUTTON_1_ID != ul_id || PIN_PUSHBUTTON_1_MASK != ul_mask)
		return;
	pio_disable_interrupt(PIN_PUSHBUTTON_1_PIO, PIN_PUSHBUTTON_1_MASK);
	puts("===================================================\r");
	puts("Enter _Int1Handler.\r");
	gpio_set_pin_low(LED0_GPIO);
	delay_ticks(2000);
	gpio_set_pin_high(LED0_GPIO);
	puts("Exit _Int1Handler.\r");
	puts("===================================================\r");
	pio_enable_interrupt(PIN_PUSHBUTTON_1_PIO, PIN_PUSHBUTTON_1_MASK);
}