Home
last modified time | relevance | path

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

/Renode-v1.15.3-c57714d/tools/sel4_extensions/
DseL4Extensions.cs283 cpu.AddHook(pc, HandleThreadSwitch); in HandleRestoreUserContext()
286 private void HandleThreadSwitch(ICpuSupportingGdb cpu, ulong address) in HandleThreadSwitch() method in Antmicro.Renode.Debug.SeL4DebugHelper
292 cpu.RemoveHook(address, HandleThreadSwitch); in HandleThreadSwitch()