Searched refs:single_step_hw_bp_num (Results 1 - 3 of 3) sorted by relevance

/seL4-refos-master/kernel/include/arch/arm/arch/machine/
H A Ddebug.h151 bp_num = t->tcbArch.tcbContext.breakpointState.single_step_hw_bp_num;
166 if (bp_num != t->tcbArch.tcbContext.breakpointState.single_step_hw_bp_num) {
/seL4-refos-master/kernel/include/arch/arm/arch/32/mode/machine/
H A Dregisterset.h210 uint16_t single_step_hw_bp_num; member in struct:user_breakpoint_state
/seL4-refos-master/kernel/src/arch/arm/machine/
H A Ddebug.c676 bp_num = t->tcbArch.tcbContext.breakpointState.single_step_hw_bp_num;
715 t->tcbArch.tcbContext.breakpointState.single_step_hw_bp_num = bp_num;

Completed in 35 milliseconds