Symbol: WPI_TX_CREDIT
usr/src/uts/common/io/wpi/wpi.c
1632
WPI_WRITE(sc, WPI_TX_CREDIT(6), 0xfffff);
usr/src/uts/common/io/wpi/wpi.c
1647
WPI_WRITE(sc, WPI_TX_CREDIT(6), 0);