1.1 --- /dev/null Thu Jan 01 00:00:00 1970 +0000
1.2 +++ b/pkg/devices/lib/tcu/include/tcu-jz4780.h Thu Feb 01 01:16:04 2024 +0100
1.3 @@ -0,0 +1,95 @@
1.4 +/*
1.5 + * TCU (timer/counter unit) support for the JZ4780.
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_jz4780_channel : public Tcu_channel
1.38 +{
1.39 +public:
1.40 + explicit Tcu_jz4780_channel(l4_addr_t start, uint8_t channel);
1.41 +};
1.42 +
1.43 +
1.44 +class Tcu_jz4780_chip : public Tcu_chip
1.45 +{
1.46 +protected:
1.47 + unsigned int num_channels()
1.48 + { return 8; }
1.49 +
1.50 + Tcu_channel *_get_channel(l4_addr_t addr, uint8_t channel);
1.51 +
1.52 +public:
1.53 + explicit Tcu_jz4780_chip(l4_addr_t start, l4_addr_t end);
1.54 +};
1.55 +
1.56 +#endif /* __cplusplus */
1.57 +
1.58 +
1.59 +
1.60 +/* C language interface. */
1.61 +
1.62 +EXTERN_C_BEGIN
1.63 +
1.64 +void *jz4780_tcu_init(l4_addr_t tcu_base, l4_addr_t tcu_base_end);
1.65 +
1.66 +void *jz4780_tcu_get_channel(void *tcu, uint8_t channel);
1.67 +
1.68 +void jz4780_tcu_disable(void *tcu_channel);
1.69 +
1.70 +void jz4780_tcu_enable(void *tcu_channel);
1.71 +
1.72 +int jz4780_tcu_is_enabled(void *tcu_channel);
1.73 +
1.74 +uint8_t jz4780_tcu_get_clock(void *tcu_channel);
1.75 +
1.76 +void jz4780_tcu_set_clock(void *tcu_channel, uint8_t clock);
1.77 +
1.78 +uint32_t jz4780_tcu_get_prescale(void *tcu_channel);
1.79 +
1.80 +void jz4780_tcu_set_prescale(void *tcu_channel, uint32_t prescale);
1.81 +
1.82 +uint32_t jz4780_tcu_get_counter(void *tcu_channel);
1.83 +
1.84 +void jz4780_tcu_set_counter(void *tcu_channel, uint32_t value);
1.85 +
1.86 +uint8_t jz4780_tcu_get_count_mode(void *tcu_channel);
1.87 +
1.88 +void jz4780_tcu_set_count_mode(void *tcu_channel, uint8_t mode);
1.89 +
1.90 +uint32_t jz4780_tcu_get_full_data_value(void *tcu_channel);
1.91 +
1.92 +void jz4780_tcu_set_full_data_value(void *tcu_channel, uint32_t value);
1.93 +
1.94 +uint32_t jz4780_tcu_get_half_data_value(void *tcu_channel);
1.95 +
1.96 +void jz4780_tcu_set_half_data_value(void *tcu_channel, uint32_t value);
1.97 +
1.98 +EXTERN_C_END