| /seL4-master/include/arch/arm/arch/machine/ |
| A D | debug.h | 192 if (bp_num >= seL4_NumExclusiveWatchpoints) { in Arch_decodeSetBreakpoint()
204 ret.rangeErrorMax = seL4_NumExclusiveWatchpoints - 1; in Arch_decodeSetBreakpoint()
231 if (bp_num >= seL4_FirstWatchpoint + seL4_NumExclusiveWatchpoints) { in Arch_decodeGetBreakpoint()
245 if (bp_num >= seL4_FirstWatchpoint + seL4_NumExclusiveWatchpoints) { in Arch_decodeUnsetBreakpoint()
|
| /seL4-master/src/arch/arm/machine/ |
| A D | debug.c | 318 assert(index < seL4_NumExclusiveWatchpoints); in readWcrContext()
324 assert(index < seL4_NumExclusiveWatchpoints); in readWvrContext()
342 assert(index < seL4_NumExclusiveWatchpoints); in writeWcrContext()
348 assert(index < seL4_NumExclusiveWatchpoints); in writeWvrContext()
777 for (i = 0; i < seL4_NumExclusiveWatchpoints; i++) { in disableAllBpsAndWps()
902 for (int i = 0; i < seL4_NumExclusiveWatchpoints; i++) { in Arch_initHardwareBreakpoints()
959 for (i = 0; i < seL4_NumExclusiveWatchpoints; i++) { in getAndResetActiveBreakpoint()
1181 for (i = 0; i < seL4_NumExclusiveWatchpoints; i++) { in loadAllDisabledBreakpointState()
1215 for (i = 0; i < seL4_NumExclusiveWatchpoints; i++) { in saveAllBreakpointState()
1257 for (i = 0; i < seL4_NumExclusiveWatchpoints; i++) { in loadBreakpointState()
|
| /seL4-master/libsel4/sel4_plat_include/fvp/sel4/plat/api/ |
| A D | constants.h | 14 #define seL4_NumExclusiveWatchpoints (4) macro
|
| /seL4-master/libsel4/sel4_plat_include/odroidc2/sel4/plat/api/ |
| A D | constants.h | 14 #define seL4_NumExclusiveWatchpoints (4) macro
|
| /seL4-master/libsel4/sel4_plat_include/odroidc4/sel4/plat/api/ |
| A D | constants.h | 14 #define seL4_NumExclusiveWatchpoints (4) macro
|
| /seL4-master/libsel4/sel4_plat_include/allwinnerA20/sel4/plat/api/ |
| A D | constants.h | 14 #define seL4_NumExclusiveWatchpoints (4) macro
|
| /seL4-master/libsel4/sel4_plat_include/am335x/sel4/plat/api/ |
| A D | constants.h | 14 #define seL4_NumExclusiveWatchpoints (2) macro
|
| /seL4-master/libsel4/sel4_plat_include/apq8064/sel4/plat/api/ |
| A D | constants.h | 14 #define seL4_NumExclusiveWatchpoints (4) macro
|
| /seL4-master/libsel4/sel4_plat_include/exynos4/sel4/plat/api/ |
| A D | constants.h | 14 #define seL4_NumExclusiveWatchpoints (4) macro
|
| /seL4-master/libsel4/sel4_plat_include/exynos5/sel4/plat/api/ |
| A D | constants.h | 13 #define seL4_NumExclusiveWatchpoints (4) macro
|
| /seL4-master/libsel4/sel4_plat_include/imx6/sel4/plat/api/ |
| A D | constants.h | 14 #define seL4_NumExclusiveWatchpoints (4) macro
|
| /seL4-master/libsel4/sel4_plat_include/imx7/sel4/plat/api/ |
| A D | constants.h | 14 #define seL4_NumExclusiveWatchpoints (4) macro
|
| /seL4-master/libsel4/sel4_plat_include/tk1/sel4/plat/api/ |
| A D | constants.h | 14 #define seL4_NumExclusiveWatchpoints (4) macro
|
| /seL4-master/libsel4/sel4_plat_include/omap3/sel4/plat/api/ |
| A D | constants.h | 14 #define seL4_NumExclusiveWatchpoints (2) macro
|
| /seL4-master/libsel4/sel4_plat_include/zynq7000/sel4/plat/api/ |
| A D | constants.h | 14 #define seL4_NumExclusiveWatchpoints (4) macro
|
| /seL4-master/libsel4/sel4_plat_include/bcm2711/sel4/plat/api/ |
| A D | constants.h | 14 #define seL4_NumExclusiveWatchpoints (4) macro
|
| /seL4-master/libsel4/sel4_plat_include/bcm2837/sel4/plat/api/ |
| A D | constants.h | 14 #define seL4_NumExclusiveWatchpoints (4) macro
|
| /seL4-master/libsel4/sel4_plat_include/hikey/sel4/plat/api/ |
| A D | constants.h | 14 #define seL4_NumExclusiveWatchpoints (4) macro
|
| /seL4-master/libsel4/sel4_plat_include/imx8mm-evk/sel4/plat/api/ |
| A D | constants.h | 13 #define seL4_NumExclusiveWatchpoints (4) macro
|
| /seL4-master/libsel4/sel4_plat_include/imx8mq-evk/sel4/plat/api/ |
| A D | constants.h | 13 #define seL4_NumExclusiveWatchpoints (4) macro
|
| /seL4-master/libsel4/sel4_plat_include/pc99/sel4/plat/api/ |
| A D | constants.h | 19 #define seL4_NumExclusiveWatchpoints (0) macro
|
| /seL4-master/libsel4/sel4_plat_include/tqma8xqp1gb/sel4/plat/api/ |
| A D | constants.h | 14 #define seL4_NumExclusiveWatchpoints (4) macro
|
| /seL4-master/libsel4/sel4_plat_include/qemu-arm-virt/sel4/plat/api/ |
| A D | constants.h | 14 #define seL4_NumExclusiveWatchpoints (4) macro
|
| /seL4-master/libsel4/sel4_plat_include/zynqmp/sel4/plat/api/ |
| A D | constants.h | 18 #define seL4_NumExclusiveWatchpoints (4) macro
|
| /seL4-master/include/arch/arm/arch/32/mode/machine/ |
| A D | registerset.h | 192 (seL4_NumExclusiveWatchpoints > EXLUSIVE_WATCHPOINT_PADING) \
193 ? seL4_NumExclusiveWatchpoints \
|