Landfall

Annotated pkg/devices/idl/pwm.idl

153:929b5f0a63e4
111:a89da526b185
16 months ago Paul Boddie file changeset files shortlog Converted the remaining code to use libipc and generated IPC components. idl4re-libipc-libsystypes
paul@111 1 
#include <l4/devices/protocols.h>
paul@111 2 
#include <stdint.h>
paul@111 3 
 
 paul@111      4 
[protocol(LANDFALL_PWM)]
 
 paul@111      5 
interface PWM
 
 paul@111      6 
{
 
 paul@111      7 
  void set_control(in uint8_t control);
 
 paul@111      8 
 
 paul@111      9 
  void set_duty(in uint16_t duty);
 
 paul@111     10 
 
 paul@111     11 
  void set_period(in uint16_t period);
 
 paul@111     12 
};