Home
last modified time | relevance | path

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

/Renode-Infrastructure-v1.15.3-29f510e/src/Emulator/Peripherals/Peripherals/Timers/
DGaisler_GPTimer.cs65 public uint GetDeviceID() => supportsTimeLatch ? DeviceIDWithLatch : DeviceID; in GetDeviceID()
195 private const uint DeviceIDWithLatch = 0x038; // GRTIMER field in Antmicro.Renode.Peripherals.Timers.Gaisler_GPTimer