1.1 --- /dev/null Thu Jan 01 00:00:00 1970 +0000
1.2 +++ b/pkg/devices/lib/tcu/include/tcu-x1600.h Thu Feb 01 01:16:04 2024 +0100
1.3 @@ -0,0 +1,99 @@
1.4 +/*
1.5 + * TCU (timer/counter unit) support for the X1600.
1.6 + *
1.7 + * Copyright (C) 2024 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 +#include <l4/sys/types.h>
1.28 +#include <stdint.h>
1.29 +
1.30 +
1.31 +
1.32 +#ifdef __cplusplus
1.33 +
1.34 +#include <l4/devices/tcu-common.h>
1.35 +
1.36 +
1.37 +class Tcu_x1600_channel : public Tcu_channel
1.38 +{
1.39 +public:
1.40 + explicit Tcu_x1600_channel(l4_addr_t start, uint8_t channel);
1.41 +
1.42 + void enable();
1.43 + uint8_t get_count_mode();
1.44 + void set_count_mode(uint8_t mode);
1.45 +};
1.46 +
1.47 +
1.48 +class Tcu_x1600_chip : public Tcu_chip
1.49 +{
1.50 +protected:
1.51 + unsigned int num_channels()
1.52 + { return 8; }
1.53 +
1.54 + Tcu_channel *_get_channel(l4_addr_t addr, uint8_t channel);
1.55 +
1.56 +public:
1.57 + explicit Tcu_x1600_chip(l4_addr_t start, l4_addr_t end);
1.58 +};
1.59 +
1.60 +#endif /* __cplusplus */
1.61 +
1.62 +
1.63 +
1.64 +/* C language interface. */
1.65 +
1.66 +EXTERN_C_BEGIN
1.67 +
1.68 +void *x1600_tcu_init(l4_addr_t tcu_base, l4_addr_t tcu_base_end);
1.69 +
1.70 +void *x1600_tcu_get_channel(void *tcu, uint8_t channel);
1.71 +
1.72 +void x1600_tcu_disable(void *tcu_channel);
1.73 +
1.74 +void x1600_tcu_enable(void *tcu_channel);
1.75 +
1.76 +int x1600_tcu_is_enabled(void *tcu_channel);
1.77 +
1.78 +uint8_t x1600_tcu_get_clock(void *tcu_channel);
1.79 +
1.80 +void x1600_tcu_set_clock(void *tcu_channel, uint8_t clock);
1.81 +
1.82 +uint32_t x1600_tcu_get_prescale(void *tcu_channel);
1.83 +
1.84 +void x1600_tcu_set_prescale(void *tcu_channel, uint32_t prescale);
1.85 +
1.86 +uint32_t x1600_tcu_get_counter(void *tcu_channel);
1.87 +
1.88 +void x1600_tcu_set_counter(void *tcu_channel, uint32_t value);
1.89 +
1.90 +uint8_t x1600_tcu_get_count_mode(void *tcu_channel);
1.91 +
1.92 +void x1600_tcu_set_count_mode(void *tcu_channel, uint8_t mode);
1.93 +
1.94 +uint32_t x1600_tcu_get_full_data_value(void *tcu_channel);
1.95 +
1.96 +void x1600_tcu_set_full_data_value(void *tcu_channel, uint32_t value);
1.97 +
1.98 +uint32_t x1600_tcu_get_half_data_value(void *tcu_channel);
1.99 +
1.100 +void x1600_tcu_set_half_data_value(void *tcu_channel, uint32_t value);
1.101 +
1.102 +EXTERN_C_END