/*
 * Copyright (c) 2026 Abdelkader Boudih <freebsd@seuros.com>
 *
 * SPDX-License-Identifier: BSD-2-Clause
 */

#ifndef _DEV_ASMC_ASMCMMIO_H_
#define _DEV_ASMC_ASMCMMIO_H_

struct asmc_softc;

/*
 * MMIO register offsets.
 */
#define ASMC_MMIO_DATA		0x0000
#define ASMC_MMIO_KEY_NAME	0x0078
#define ASMC_MMIO_DATA_LEN	0x007D
#define ASMC_MMIO_SMC_ID	0x007E
#define ASMC_MMIO_CMD		0x007F
#define ASMC_MMIO_STATUS	0x4005
#define ASMC_MMIO_MIN_SIZE	0x4006
#define ASMC_MMIO_STATUS_READY	0x20	/* Bit 5 */
#define ASMC_MMIO_MAX_WAIT	24

/*
 * T2-specific keys.
 */
#define ASMC_KEY_LDKN		"LDKN"	/* RO; 1 byte, firmware version */
#define ASMC_KEY_BCLM		"BCLM"	/* RW; 1 byte, battery charge limit 0-100 */
#define ASMC_KEY_FANMANUAL_T2	"F%dMd"	/* RW; 1 byte per fan (T2) */

/*
 * MMIO backend functions.
 */
int	asmc_mmio_probe(device_t dev);
void	asmc_mmio_detach(device_t dev, struct asmc_softc *sc);
int	asmc_mmio_key_read(device_t dev, const char *key,
	    uint8_t *buf, uint8_t len);
int	asmc_mmio_key_write(device_t dev, const char *key,
	    uint8_t *buf, uint8_t len);
int	asmc_mmio_key_getinfo(device_t dev, const char *key,
	    uint8_t *len, char *type);
int	asmc_mmio_key_getbyindex(device_t dev, int index, char *key);

/*
 * IEEE 754 float <-> uint32 conversion for T2 fan RPM values.
 */
uint32_t	asmc_float_to_u32(uint32_t d);
uint32_t	asmc_u32_to_float(uint32_t d);

/*
 * T2-specific sysctls.
 */
int	asmc_bclm_sysctl(SYSCTL_HANDLER_ARGS);

#endif /* _DEV_ASMC_ASMCMMIO_H_ */