1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
|
/*
* 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_ */
|
