1 #include <l4/devices/protocols.h> 2 #include <stdint.h> 3 4 /* A clock and power management interface, currently with Ingenic-specific SoC 5 details. */ 6 7 [protocol(LANDFALL_CPM)] 8 interface CPM 9 { 10 void get_lcd_pixel_frequency(in uint8_t controller, out uint32_t frequency); 11 12 void set_hdmi_frequency(in uint32_t frequency); 13 14 void set_lcd_frequencies(in uint32_t pclk, in uint8_t multiplier); 15 16 void start_hdmi(); 17 18 void stop_hdmi(); 19 20 void start_lcd(); 21 22 void stop_lcd(); 23 24 void update_output_frequency(); 25 };