/* Clears the button GPIO settings, disables the buttons.  */
void halButtonsShutDown()
/* Clears the button GPIO settings, disables the buttons.  */
void halButtonsShutDown()
{
  BUTTON_PORT_OUT &= ~(BUTTON_ALL);
  BUTTON_PORT_DIR |= BUTTON_ALL;             
}