Searched refs:ReadLevelIRQ (Results 1 – 1 of 1) sorted by relevance
27 ReadLevelIRQ = new GPIO(); in OpenTitan_FlashController()487 public GPIO ReadLevelIRQ { get; } property in Antmicro.Renode.Peripherals.MTD.OpenTitan_FlashController880 ReadLevelIRQ.Set(interruptStatusReadLevel.Value && interruptEnableReadLevel.Value); in UpdateInterrupts()
