/* Deselect given device on the SPI bus. 
Calls board chip deselect. */
void spi_deselect_device(SPI_t *spi, struct spi_device *device)
/* Deselect given device on the SPI bus. 
Calls board chip deselect. */
void spi_deselect_device(SPI_t *spi, struct spi_device *device)
{
	ioport_set_pin_high(device->id);
}