Symbol: WPI_HWCONFIG
usr/src/uts/common/io/wpi/wpi.c
3222
hw = WPI_READ(sc, WPI_HWCONFIG);
usr/src/uts/common/io/wpi/wpi.c
3243
WPI_WRITE(sc, WPI_HWCONFIG, hw);