Symbol: WPI_TEMPERATURE
sys/dev/pci/if_wpi.c
1428
temp = (int)WPI_READ(sc, WPI_TEMPERATURE);
sys/dev/pci/if_wpi.c
3276
if ((sc->temp = (int)WPI_READ(sc, WPI_TEMPERATURE)) != 0)