1.1 --- a/pkg/devices/cpm/src/jz4780/cpm-jz4780.cc Sat Jan 16 23:10:48 2021 +0100
1.2 +++ b/pkg/devices/cpm/src/jz4780/cpm-jz4780.cc Sat Jan 16 23:47:39 2021 +0100
1.3 @@ -1,7 +1,7 @@
1.4 /*
1.5 * JZ4780 CPM server.
1.6 *
1.7 - * Copyright (C) 2018, 2020 Paul Boddie <paul@boddie.org.uk>
1.8 + * Copyright (C) 2018, 2020, 2021 Paul Boddie <paul@boddie.org.uk>
1.9 *
1.10 * This program is free software; you can redistribute it and/or
1.11 * modify it under the terms of the GNU General Public License as
1.12 @@ -75,27 +75,21 @@
1.13 return L4_EOK;
1.14 }
1.15
1.16 - long start_hdmi()
1.17 + long have_clock(enum Clock_identifiers clock, int *enabled)
1.18 {
1.19 - _chip->start_hdmi();
1.20 + *enabled = _chip->have_clock(clock);
1.21 return L4_EOK;
1.22 }
1.23
1.24 - long stop_hdmi()
1.25 + long start_clock(enum Clock_identifiers clock)
1.26 {
1.27 - _chip->stop_hdmi();
1.28 + _chip->start_clock(clock);
1.29 return L4_EOK;
1.30 }
1.31
1.32 - long start_lcd()
1.33 + long stop_clock(enum Clock_identifiers clock)
1.34 {
1.35 - _chip->start_lcd();
1.36 - return L4_EOK;
1.37 - }
1.38 -
1.39 - long stop_lcd()
1.40 - {
1.41 - _chip->stop_lcd();
1.42 + _chip->stop_clock(clock);
1.43 return L4_EOK;
1.44 }
1.45