WPI_TEMPERATURE  1144 dev/pci/if_wpi.c 	temp = (int)WPI_READ(sc, WPI_TEMPERATURE);
WPI_TEMPERATURE  2852 dev/pci/if_wpi.c 		if ((sc->temp = (int)WPI_READ(sc, WPI_TEMPERATURE)) != 0)