Searched refs:TPMHeaderNotEmpty (Results 1 – 1 of 1) sorted by relevance
41 TPMHeaderNotEmpty = new GPIO(); in OpenTitan_SpiDevice()217 public GPIO TPMHeaderNotEmpty { get; } property in Antmicro.Renode.Peripherals.SPI.OpenTitan_SpiDevice592 …TPMHeaderNotEmpty.Set(tpmHeaderNotEmptyInterruptState.Value && tpmHeaderNotEmptyInterruptEnable.Va… in UpdateInterrupts()