Lines Matching defs:stepping
506 \subsection{Debug Exception: Single-stepping}
509 The kernel provides support for the use of hardware single-stepping of userspace
514 an instruction breakpoint, to use when setting up the single-stepping
517 register to provide single-stepping functionality. If the caller's hardware platform requires the
520 breakpoint to provide single-stepping, seL4 will return \texttt{false} in \texttt{bp\_was\_consumed} and
525 the caller has disabled single-stepping and released that register, via a subsequent
528 \textbf{disables single stepping}.
531 single-stepping functionality, seL4 will restrict the number of registers that
533 is currently configured (if any) for single-stepping will be the implicit
536 The kernel's single-stepping, also supports skipping a certain number of
538 should be set to \texttt{1} when single-stepping, or any non-zero integer value to skip that many
539 instructions before resuming single-stepping. This skip-count can also be set in