/* A few helper functions. 
Set CS high for given slot  */
static void cs_high(int slot)
/* A few helper functions. 
Set CS high for given slot  */
static void cs_high(int slot)
{
    gpio_set_level(s_slots[slot].gpio_cs, 1);
}