1 #include <l4/devices/protocols.h> 2 3 [protocol(LANDFALL_KEYPAD)] 4 interface Keypad 5 { 6 void get_keypad_data(out cap data); 7 };