Home
last modified time | relevance | path

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

/Renode-v1.15.3-c57714d/tools/sel4_extensions/
DseL4Extensions.cs274 … var nextPCAddress = TryTranslateAddress(cpu, tcbAddress + callingConvention.TCBNextPCOffset); in HandleRestoreUserContext()
571 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