1 #include <l4/devices/protocols.h> 2 3 [protocol(LANDFALL_ACTIVATION)] 4 interface Activation 5 { 6 void disable(); 7 8 void enable(); 9 };