Home
last modified time | relevance | path

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

/Renode-v1.15.3-c57714d/tools/sel4_extensions/
DseL4Extensions.cs246 ksCurThreadPhysAddress = TryTranslateAddress(cpu, ksCurThreadAddress); in HandleUnknownSyscall()
267 ulong tcbAddress = cpu.Bus.ReadDoubleWord(this.ksCurThreadPhysAddress, context: cpu); in HandleRestoreUserContext()
531 var tcb = cpu.Bus.ReadDoubleWord(this.ksCurThreadPhysAddress, context: cpu); in CurrentThreadUnsafe()
560 private ulong ksCurThreadPhysAddress; field in Antmicro.Renode.Debug.SeL4DebugHelper