Symbol: ITHERM_REFRESH_INTERVAL
sys/dev/pci/itherm.c
207
sensor_task_register(sc, itherm_refresh, ITHERM_REFRESH_INTERVAL);
sys/dev/pci/itherm.c
317
energy = energy / ITHERM_REFRESH_INTERVAL;