Home
last modified time | relevance | path

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

/Renode-v1.15.3-c57714d/tools/sel4_extensions/
DseL4Extensions.cs571 ulong TCBNextPCOffset { get; } property
610 public ulong TCBNextPCOffset => 34 * 4; field in Antmicro.Renode.Debug.SeL4DebugHelper.RiscVCallingConvention
644 public ulong TCBNextPCOffset => 15 * 4; field in Antmicro.Renode.Debug.SeL4DebugHelper.ArmCallingConvention