Home
last modified time | relevance | path

Searched defs:ipi (Results 1 – 2 of 2) sorted by relevance

/Renode-Infrastructure-v1.15.3-29f510e/src/Emulator/Peripherals/Peripherals/Miscellaneous/
DZynqMP_PlatformManagementUnit.cs48 public void RegisterIPI(ZynqMP_IPI ipi) in RegisterIPI()
197 private ZynqMP_IPI ipi; field in Antmicro.Renode.Peripherals.Miscellaneous.ZynqMP_PlatformManagementUnit
DZynqMP_IPI.cs267 public Channel(ZynqMP_IPI ipi, ChannelId id, IGPIO IRQ) in Channel()
353 private readonly ZynqMP_IPI ipi; field in Antmicro.Renode.Peripherals.Miscellaneous.ZynqMP_IPI.Channel