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_lcd_pixel_frequency(in uint8_t controller, out uint32_t frequency); 12 13 void set_hdmi_frequency(in uint32_t frequency); 14 15 void set_lcd_frequencies(in uint32_t pclk, in uint8_t multiplier); 16 17 void have_clock(in enum Clock_identifiers clock, out int enabled); 18 19 void start_clock(in enum Clock_identifiers clock); 20 21 void stop_clock(in enum Clock_identifiers clock); 22 23 void update_output_frequency(); 24 };