1 #include <l4/devices/protocols.h> 2 3 [protocol(LANDFALL_SPI)] 4 interface SPI 5 { 6 void send(in int bits, in int data); 7 };