/* Handler for Button 1 rising edge interrupt. 
Handle process led1 status change.  */
static void Button1_Handler(uint32_t id, uint32_t mask)
/* Handler for Button 1 rising edge interrupt. 
Handle process led1 status change.  */
static void Button1_Handler(uint32_t id, uint32_t mask)
{
	if (PIN_PUSHBUTTON_1_ID == id && PIN_PUSHBUTTON_1_MASK == mask) {
		ProcessButtonEvt(0);
	}
}