tipmic_thermal_opreg_handler
int tipmic_thermal_opreg_handler(void *, int, uint64_t, int, uint64_t *);
sc, tipmic_thermal_opreg_handler);