Searched refs:AddContextSwitchHook (Results 1 – 1 of 1) sorted by relevance
| /Renode-v1.15.3-c57714d/tools/sel4_extensions/ | ||
| D | seL4Extensions.cs | 423 private void AddContextSwitchHook() in AddContextSwitchHook() method in Antmicro.Renode.Debug.SeL4DebugHelper |