1.1 --- a/pkg/devices/cpm/src/jz4780/cpm-jz4780.cc Sat Jan 30 23:39:17 2021 +0100
1.2 +++ b/pkg/devices/cpm/src/jz4780/cpm-jz4780.cc Sun Jan 31 00:49:22 2021 +0100
1.3 @@ -57,21 +57,15 @@
1.4 {
1.5 }
1.6
1.7 - long get_lcd_pixel_frequency(uint8_t controller, uint32_t *frequency)
1.8 + long get_frequency(enum Clock_frequency_identifiers clock, uint32_t *frequency)
1.9 {
1.10 - *frequency = _chip->get_lcd_pixel_frequency(controller);
1.11 + *frequency = _chip->get_frequency(clock);
1.12 return L4_EOK;
1.13 }
1.14
1.15 - long set_hdmi_frequency(uint32_t frequency)
1.16 + long set_frequency(enum Clock_frequency_identifiers clock, uint32_t frequency)
1.17 {
1.18 - _chip->set_hdmi_frequency(frequency);
1.19 - return L4_EOK;
1.20 - }
1.21 -
1.22 - long set_lcd_frequencies(uint32_t pclk, uint8_t multiplier)
1.23 - {
1.24 - _chip->set_lcd_frequencies(pclk, multiplier);
1.25 + _chip->set_frequency(clock, frequency);
1.26 return L4_EOK;
1.27 }
1.28