/* Enables button interrupt(s) with low to high transitions.  */
void halButtonsInterruptEnable(unsigned char buttonIntEnableMask)
/* Enables button interrupt(s) with low to high transitions.  */
void halButtonsInterruptEnable(unsigned char buttonIntEnableMask)
{
  BUTTON_PORT_IES &= ~buttonIntEnableMask;
  BUTTON_PORT_IFG &= ~buttonIntEnableMask;
  BUTTON_PORT_IE |= buttonIntEnableMask;
}