| /seL4-master/include/arch/arm/arch/machine/ |
| A D | debug.h | 115 if (bp_num >= seL4_NumExclusiveBreakpoints) { in convertBpNumToArch()
116 bp_num -= seL4_NumExclusiveBreakpoints; in convertBpNumToArch()
123 return (bp_num >= seL4_NumExclusiveBreakpoints) in getTypeFromBpNum()
196 ret.rangeErrorMax = seL4_NumExclusiveBreakpoints - 1; in Arch_decodeSetBreakpoint()
200 if (bp_num >= seL4_NumExclusiveBreakpoints) { in Arch_decodeSetBreakpoint()
|
| /seL4-master/src/arch/arm/machine/ |
| A D | debug.c | 306 assert(index < seL4_NumExclusiveBreakpoints); in DEBUG_GENERATE_READ_FN()
312 assert(index < seL4_NumExclusiveBreakpoints); in readBvrContext()
330 assert(index < seL4_NumExclusiveBreakpoints); in writeBcrContext()
336 assert(index < seL4_NumExclusiveBreakpoints); in writeBvrContext()
496 return bp_num + seL4_NumExclusiveBreakpoints; in getBpNumFromType()
773 for (i = 0; i < seL4_NumExclusiveBreakpoints; i++) { in disableAllBpsAndWps()
899 for (int i = 0; i < seL4_NumExclusiveBreakpoints; i++) { in Arch_initHardwareBreakpoints()
1178 for (i = 0; i < seL4_NumExclusiveBreakpoints; i++) { in loadAllDisabledBreakpointState()
1210 for (i = 0; i < seL4_NumExclusiveBreakpoints; i++) { in saveAllBreakpointState()
1245 for (i = 0; i < seL4_NumExclusiveBreakpoints; i++) { in loadBreakpointState()
[all …]
|
| /seL4-master/libsel4/sel4_plat_include/fvp/sel4/plat/api/ |
| A D | constants.h | 13 #define seL4_NumExclusiveBreakpoints (6) macro
|
| /seL4-master/libsel4/sel4_plat_include/odroidc2/sel4/plat/api/ |
| A D | constants.h | 13 #define seL4_NumExclusiveBreakpoints (6) macro
|
| /seL4-master/libsel4/sel4_plat_include/odroidc4/sel4/plat/api/ |
| A D | constants.h | 13 #define seL4_NumExclusiveBreakpoints (6) macro
|
| /seL4-master/libsel4/sel4_plat_include/allwinnerA20/sel4/plat/api/ |
| A D | constants.h | 13 #define seL4_NumExclusiveBreakpoints (6) macro
|
| /seL4-master/libsel4/sel4_plat_include/am335x/sel4/plat/api/ |
| A D | constants.h | 13 #define seL4_NumExclusiveBreakpoints (6) macro
|
| /seL4-master/libsel4/sel4_plat_include/apq8064/sel4/plat/api/ |
| A D | constants.h | 13 #define seL4_NumExclusiveBreakpoints (6) macro
|
| /seL4-master/libsel4/sel4_plat_include/exynos4/sel4/plat/api/ |
| A D | constants.h | 13 #define seL4_NumExclusiveBreakpoints (6) macro
|
| /seL4-master/libsel4/sel4_plat_include/exynos5/sel4/plat/api/ |
| A D | constants.h | 12 #define seL4_NumExclusiveBreakpoints (6) macro
|
| /seL4-master/libsel4/sel4_plat_include/imx6/sel4/plat/api/ |
| A D | constants.h | 13 #define seL4_NumExclusiveBreakpoints (6) macro
|
| /seL4-master/libsel4/sel4_plat_include/imx7/sel4/plat/api/ |
| A D | constants.h | 13 #define seL4_NumExclusiveBreakpoints (6) macro
|
| /seL4-master/libsel4/sel4_plat_include/tk1/sel4/plat/api/ |
| A D | constants.h | 13 #define seL4_NumExclusiveBreakpoints (6) macro
|
| /seL4-master/libsel4/sel4_plat_include/omap3/sel4/plat/api/ |
| A D | constants.h | 13 #define seL4_NumExclusiveBreakpoints (6) macro
|
| /seL4-master/libsel4/sel4_plat_include/zynq7000/sel4/plat/api/ |
| A D | constants.h | 13 #define seL4_NumExclusiveBreakpoints (6) macro
|
| /seL4-master/libsel4/sel4_plat_include/bcm2711/sel4/plat/api/ |
| A D | constants.h | 13 #define seL4_NumExclusiveBreakpoints (6) macro
|
| /seL4-master/libsel4/sel4_plat_include/bcm2837/sel4/plat/api/ |
| A D | constants.h | 13 #define seL4_NumExclusiveBreakpoints (6) macro
|
| /seL4-master/libsel4/sel4_plat_include/hikey/sel4/plat/api/ |
| A D | constants.h | 13 #define seL4_NumExclusiveBreakpoints (6) macro
|
| /seL4-master/libsel4/sel4_plat_include/imx8mm-evk/sel4/plat/api/ |
| A D | constants.h | 12 #define seL4_NumExclusiveBreakpoints (6) macro
|
| /seL4-master/libsel4/sel4_plat_include/imx8mq-evk/sel4/plat/api/ |
| A D | constants.h | 12 #define seL4_NumExclusiveBreakpoints (6) macro
|
| /seL4-master/libsel4/sel4_plat_include/pc99/sel4/plat/api/ |
| A D | constants.h | 17 #define seL4_NumExclusiveBreakpoints (0) macro
|
| /seL4-master/libsel4/sel4_plat_include/tqma8xqp1gb/sel4/plat/api/ |
| A D | constants.h | 13 #define seL4_NumExclusiveBreakpoints (6) macro
|
| /seL4-master/libsel4/sel4_plat_include/qemu-arm-virt/sel4/plat/api/ |
| A D | constants.h | 13 #define seL4_NumExclusiveBreakpoints (6) macro
|
| /seL4-master/libsel4/sel4_plat_include/zynqmp/sel4/plat/api/ |
| A D | constants.h | 17 #define seL4_NumExclusiveBreakpoints (6) macro
|
| /seL4-master/include/arch/arm/arch/32/mode/machine/ |
| A D | registerset.h | 198 debug_register_pair_t breakpoint[seL4_NumExclusiveBreakpoints],
|