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

/seL4-camkes-master/kernel/src/arch/arm/machine/
H A Ddebug.c162 #define DBGWCR_ENABLE (BIT(0)) macro
786 writeWcrCp(i, readWcrCp(i) & ~DBGWCR_ENABLE);
910 armKSNullBreakpointState.watchpoint[i].cr = readWcrCp(i) & ~DBGWCR_ENABLE;
1189 writeWcrCp(i, readWcrCp(i) & ~DBGWCR_ENABLE);
1270 writeWcrCp(i, readWcrCp(i) & ~DBGWCR_ENABLE);

Completed in 28 milliseconds