/* Handler for Button 1 rising edge interrupt. 
Set button1 event flag (g_button_event).  */
static void button_handler(uint32_t id, uint32_t mask)
/* Handler for Button 1 rising edge interrupt. 
Set button1 event flag (g_button_event).  */
static void button_handler(uint32_t id, uint32_t mask)
{
	if ((PUSH_BUTTON_ID == id) && (PUSH_BUTTON_PIN_MSK == mask)) {
		g_button_event = 1;
	}
}