Symbol: WPI_INT_SW_RX