Lines Matching refs:seL4_NumExclusiveBreakpoints

19 #include <sel4/constants.h> /* seL4_NumExclusiveBreakpoints/Watchpoints */
306     assert(index < seL4_NumExclusiveBreakpoints);
312     assert(index < seL4_NumExclusiveBreakpoints);
330     assert(index < seL4_NumExclusiveBreakpoints);
336     assert(index < seL4_NumExclusiveBreakpoints);
496         return bp_num + seL4_NumExclusiveBreakpoints;
780     for (i = 0; i < seL4_NumExclusiveBreakpoints; i++) {
906     for (int i = 0; i < seL4_NumExclusiveBreakpoints; i++) {
944         for (i = 0; i < seL4_NumExclusiveBreakpoints; i++) {
1100         for (i = 0; i < seL4_NumExclusiveBreakpoints; i++) {
1185     for (i = 0; i < seL4_NumExclusiveBreakpoints; i++) {
1217     for (i = 0; i < seL4_NumExclusiveBreakpoints; i++) {
1252     for (i = 0; i < seL4_NumExclusiveBreakpoints; i++) {
1266             BIT(i + seL4_NumExclusiveBreakpoints)) {