Symbol: tipmic_thermal_opreg_handler
sys/dev/acpi/tipmic.c
104
int tipmic_thermal_opreg_handler(void *, int, uint64_t, int, uint64_t *);
sys/dev/acpi/tipmic.c
158
sc, tipmic_thermal_opreg_handler);