1.1 --- a/pkg/devices/idl/cpm.idl Sat Jan 16 23:10:48 2021 +0100
1.2 +++ b/pkg/devices/idl/cpm.idl Sat Jan 16 23:47:39 2021 +0100
1.3 @@ -1,3 +1,4 @@
1.4 +#include <l4/devices/clocks.h>
1.5 #include <l4/devices/protocols.h>
1.6 #include <stdint.h>
1.7
1.8 @@ -13,13 +14,11 @@
1.9
1.10 void set_lcd_frequencies(in uint32_t pclk, in uint8_t multiplier);
1.11
1.12 - void start_hdmi();
1.13 -
1.14 - void stop_hdmi();
1.15 + void have_clock(in enum Clock_identifiers clock, out int enabled);
1.16
1.17 - void start_lcd();
1.18 + void start_clock(in enum Clock_identifiers clock);
1.19
1.20 - void stop_lcd();
1.21 + void stop_clock(in enum Clock_identifiers clock);
1.22
1.23 void update_output_frequency();
1.24 };