1.1 --- a/pkg/devices/cpm/include/cpm-client.h Fri Jan 01 00:49:07 2021 +0100
1.2 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000
1.3 @@ -1,48 +0,0 @@
1.4 -/*
1.5 - * CPM client to access CPM servers.
1.6 - *
1.7 - * Copyright (C) 2018, 2020 Paul Boddie <paul@boddie.org.uk>
1.8 - *
1.9 - * This program is free software; you can redistribute it and/or
1.10 - * modify it under the terms of the GNU General Public License as
1.11 - * published by the Free Software Foundation; either version 2 of
1.12 - * the License, or (at your option) any later version.
1.13 - *
1.14 - * This program is distributed in the hope that it will be useful,
1.15 - * but WITHOUT ANY WARRANTY; without even the implied warranty of
1.16 - * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
1.17 - * GNU General Public License for more details.
1.18 - *
1.19 - * You should have received a copy of the GNU General Public License
1.20 - * along with this program; if not, write to the Free Software
1.21 - * Foundation, Inc., 51 Franklin Street, Fifth Floor,
1.22 - * Boston, MA 02110-1301, USA
1.23 - */
1.24 -
1.25 -#pragma once
1.26 -
1.27 -#ifdef __cplusplus
1.28 -
1.29 -#include <l4/re/env>
1.30 -#include <stdint.h>
1.31 -
1.32 -class Cpm_device_interface : public L4::Kobject_t<Cpm_device_interface, L4::Kobject>
1.33 -{
1.34 - L4_KOBJECT(Cpm_device_interface)
1.35 -
1.36 -public:
1.37 - int get_lcd_pixel_frequency(uint32_t *frequency) throw();
1.38 -
1.39 - int set_hdmi_frequency(uint32_t frequency) throw();
1.40 - int set_lcd_frequencies(uint32_t pclk, uint8_t multiplier) throw();
1.41 -
1.42 - int start_hdmi() throw();
1.43 - int stop_hdmi() throw();
1.44 -
1.45 - int start_lcd() throw();
1.46 - int stop_lcd() throw();
1.47 -
1.48 - int update_output_frequency() throw();
1.49 -};
1.50 -
1.51 -#endif