1 #include <l4/devices/clocks.h> 2 #include <l4/devices/protocols.h> 3 #include <stdint.h> 4 5 /* A clock and power management interface, currently with Ingenic-specific SoC 6 details. */ 7 8 [protocol(LANDFALL_CPM)] 9 interface CPM 10 { 11 void get_frequency(in enum Clock_identifiers clock, out uint32_t frequency); 12 13 void set_frequency(in enum Clock_identifiers clock, in uint32_t frequency); 14 15 void have_clock(in enum Clock_identifiers clock, out int enabled); 16 17 void start_clock(in enum Clock_identifiers clock); 18 19 void stop_clock(in enum Clock_identifiers clock); 20 };