void hw_debug_mask(uint32_t mask)
{
    for(int i = 0; i < DEBUG_PIN_NUM; i++)
    {
        if(mask & (1<<i))
            hw_gpio_set(debug_pins[i]);
        else
            hw_gpio_clr(debug_pins[i]);
    }
}
void hw_debug_mask(uint32_t mask)
{
  for(int i = 0; i < PLATFORM_NUM_DEBUGPINS; i++)
	{
		if(mask & (1<<i))
			hw_gpio_set(debug_pins[i]);
		else
			hw_gpio_clr(debug_pins[i]);
	}
}
void led_off(unsigned char led_nr)
{
    if(led_nr < HW_NUM_LEDS)
    	hw_gpio_clr(leds[led_nr]);
}
void hw_debug_clr(uint8_t pin_id)
{
    if(pin_id < DEBUG_PIN_NUM)
        hw_gpio_clr(debug_pins[pin_id]);
}
void hw_debug_clr(uint8_t pin_nr)
{
    if(pin_nr < PLATFORM_NUM_DEBUGPINS)
      hw_gpio_clr(debug_pins[pin_nr]);
}
// *****************************************************************************
// @fn          spi_select_chip
// @brief       Select the chip
// @param       none
// @return      none
// *****************************************************************************
void spi_select_chip(void)
{
	hw_gpio_clr(SPI_PIN_CS);
	//GPIO_PinOutClear( SPI_PORT_CS, SPI_PIN_CS );
}