1 #include <l4/devices/protocols.h> 2 #include <stdint.h> 3 4 [protocol(LANDFALL_PWM)] 5 interface PWM 6 { 7 void set_control(in uint8_t control); 8 9 void set_duty(in uint16_t duty); 10 11 void set_period(in uint16_t period); 12 };