/* Initializes the GPIO ports to act as buttons.  */
void halButtonsInit(unsigned char buttonsMask)
/* Initializes the GPIO ports to act as buttons.  */
void halButtonsInit(unsigned char buttonsMask)
{  
  BUTTON_PORT_OUT |= buttonsMask;
  BUTTON_PORT_DIR &= ~buttonsMask;
  BUTTON_PORT_REN |= buttonsMask; 
  BUTTON_PORT_SEL &= ~buttonsMask;       
}