Home
last modified time | relevance | path

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

/Renode-v1.15.3-c57714d/tools/sel4_extensions/
DseL4Extensions.cs81 public void BreakOnExittingUserspace(ExitUserspaceMode mode) in BreakOnExittingUserspace()
88 if(exitUserspaceMode == ExitUserspaceMode.Never) in BreakOnExittingUserspace()
92 else if(mode == ExitUserspaceMode.Never) in BreakOnExittingUserspace()
184 if(exitUserspaceMode != ExitUserspaceMode.Never) in GetBreakpoints()
186 … table.AddRow("kernel", "any", (exitUserspaceMode == ExitUserspaceMode.Once).ToString()); in GetBreakpoints()
319 if(exitUserspaceMode == ExitUserspaceMode.Once) in HandleExitUserspace()
322 exitUserspaceMode = ExitUserspaceMode.Never; in HandleExitUserspace()
539 public enum ExitUserspaceMode enum in Antmicro.Renode.Debug.SeL4DebugHelper
558 private ExitUserspaceMode exitUserspaceMode;
Dgdbscript.py56 class ExitUserspaceMode(IntEnum): class
169 exit_userspace_mode = ExitUserspaceMode.Always
172 exit_userspace_mode = ExitUserspaceMode.Once
284 gdb.execute('mon seL4 BreakOnExittingUserspace {}'.format(ExitUserspaceMode.Never))
311 gdb.execute('mon seL4 BreakOnExittingUserspace {}'.format(ExitUserspaceMode.Never))