Symbol: WPI_MEM_PCIDEV
usr/src/uts/common/io/wpi/wpi.c
3261
tmp = wpi_mem_read(sc, WPI_MEM_PCIDEV);
usr/src/uts/common/io/wpi/wpi.c
3262
wpi_mem_write(sc, WPI_MEM_PCIDEV, tmp | 0x800);