1.1 --- a/pkg/devices/cpm/src/jz4780/cpm-jz4780.cc Tue Sep 12 17:20:10 2023 +0200
1.2 +++ b/pkg/devices/cpm/src/jz4780/cpm-jz4780.cc Thu Sep 14 00:11:14 2023 +0200
1.3 @@ -58,13 +58,13 @@
1.4 {
1.5 }
1.6
1.7 - long get_frequency(enum Clock_frequency_identifiers clock, uint32_t *frequency)
1.8 + long get_frequency(enum Clock_identifiers clock, uint32_t *frequency)
1.9 {
1.10 *frequency = _chip->get_frequency(clock);
1.11 return L4_EOK;
1.12 }
1.13
1.14 - long set_frequency(enum Clock_frequency_identifiers clock, uint32_t frequency)
1.15 + long set_frequency(enum Clock_identifiers clock, uint32_t frequency)
1.16 {
1.17 _chip->set_frequency(clock, frequency);
1.18 return L4_EOK;
1.19 @@ -87,12 +87,6 @@
1.20 _chip->stop_clock(clock);
1.21 return L4_EOK;
1.22 }
1.23 -
1.24 - long update_output_frequency()
1.25 - {
1.26 - _chip->update_output_frequency();
1.27 - return L4_EOK;
1.28 - }
1.29 };
1.30
1.31