Home
last modified time | relevance | path

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

/Renode-v1.15.3-c57714d/tools/sel4_extensions/
DseL4Extensions.cs54 this.restoreUserContextAddress = cpu.Bus.GetSymbolAddress("restore_user_context"); in SeL4DebugHelper()
425 cpu.AddHook(restoreUserContextAddress, HandleRestoreUserContext); in AddContextSwitchHook()
430 cpu.RemoveHook(restoreUserContextAddress, HandleRestoreUserContext); in RemoveContextSwitchHook()
561 private ulong restoreUserContextAddress; field in Antmicro.Renode.Debug.SeL4DebugHelper