Searched refs:GenericRxWatermark (Results 1 – 2 of 2) sorted by relevance
125 Assert.False(peripheral.GenericRxWatermark.IsSet, "Interrupt should not be set yet"); in ShouldSetInterruptOnRxFifoWatermark()127 Assert.True(peripheral.GenericRxWatermark.IsSet, "Interrupt not set when expected"); in ShouldSetInterruptOnRxFifoWatermark()
31 GenericRxWatermark = new GPIO(); in OpenTitan_SpiDevice()207 public GPIO GenericRxWatermark { get; } property in Antmicro.Renode.Peripherals.SPI.OpenTitan_SpiDevice581 … GenericRxWatermark.Set(rxWatermarkInterruptState.Value && rxWatermarkInterruptEnable.Value); in UpdateInterrupts()