Searched refs:used_breakpoints_bf (Results 1 - 5 of 5) sorted by relevance

/seL4-camkes-master/kernel/include/arch/x86/arch/machine/
H A Ddebug.h56 t->tcbArch.tcbContext.breakpointState.used_breakpoints_bf |= BIT(bp_num);
63 t->tcbArch.tcbContext.breakpointState.used_breakpoints_bf &= ~BIT(bp_num);
89 if (uds->tcbContext.breakpointState.used_breakpoints_bf != 0) {
H A Dregisterset.h37 uint32_t used_breakpoints_bf; member in struct:user_debug_state
/seL4-camkes-master/kernel/include/arch/arm/arch/32/mode/machine/
H A Ddebug.h179 t->tcbArch.tcbContext.breakpointState.used_breakpoints_bf |= BIT(bp_num);
186 t->tcbArch.tcbContext.breakpointState.used_breakpoints_bf &= ~BIT(bp_num);
H A Dregisterset.h207 uint32_t used_breakpoints_bf; member in struct:user_breakpoint_state
/seL4-camkes-master/kernel/src/arch/arm/machine/
H A Ddebug.c1208 * we just set the "used_breakpoints_bf" bitfield to all 1s in
1237 t->tcbArch.tcbContext.breakpointState.used_breakpoints_bf = MASK(seL4_NumHWBreakpoints);
1242 t->tcbArch.tcbContext.breakpointState.used_breakpoints_bf = 0;
1253 if (t->tcbArch.tcbContext.breakpointState.used_breakpoints_bf & BIT(i)) {
1265 if (t->tcbArch.tcbContext.breakpointState.used_breakpoints_bf &
1283 if (target_thread->tcbArch.tcbContext.breakpointState.used_breakpoints_bf == 0) {

Completed in 40 milliseconds