Home
last modified time | relevance | path

Searched refs:IsIrqSourceAvailable (Results 1 – 3 of 3) sorted by relevance

/Renode-Infrastructure-v1.15.3-29f510e/src/Emulator/Cores/RiscV/PLIC/
DPlatformLevelInterruptControllerBase.cs75 if(!IsIrqSourceAvailable(number)) in OnGPIO()
130 if(!IsIrqSourceAvailable((int)value)) in AddContextClaimCompleteRegister()
161 if(!IsIrqSourceAvailable((int)sourceNumber)) in AddContextEnablesRegister()
196 protected virtual bool IsIrqSourceAvailable(int number) in IsIrqSourceAvailable() method in Antmicro.Renode.Peripherals.IRQControllers.PLIC.PlatformLevelInterruptControllerBase
/Renode-Infrastructure-v1.15.3-29f510e/src/Emulator/Cores/RiscV/
DPlatformLevelInterruptController.cs71 protected override bool IsIrqSourceAvailable(int number) in IsIrqSourceAvailable() method in Antmicro.Renode.Peripherals.IRQControllers.PlatformLevelInterruptController
74 return number != 0 && base.IsIrqSourceAvailable(number); in IsIrqSourceAvailable()
DOpenTitan_PlatformLevelInterruptController.cs104 protected override bool IsIrqSourceAvailable(int number) in IsIrqSourceAvailable() method in Antmicro.Renode.Peripherals.IRQControllers.OpenTitan_PlatformLevelInterruptController
107 return number != 0 && base.IsIrqSourceAvailable(number); in IsIrqSourceAvailable()