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

/seL4-mcs-10.1.1/include/arch/arm/arch/model/
H A Dstatedata.h27 extern user_breakpoint_state_t armKSNullBreakpointState VISIBLE;
/seL4-mcs-10.1.1/src/arch/arm/32/model/
H A Dstatedata.c72 user_breakpoint_state_t armKSNullBreakpointState; variable
/seL4-mcs-10.1.1/src/arch/arm/machine/
H A Ddebug.c937 armKSNullBreakpointState.breakpoint[i].cr = readBcrCp(i) & ~DBGBCR_ENABLE;
940 armKSNullBreakpointState.watchpoint[i].cr = readWcrCp(i) & ~DBGWCR_ENABLE;
1203 uc->breakpointState = armKSNullBreakpointState;

Completed in 30 milliseconds