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

/seL4-test-master/kernel/libsel4/sel4_plat_include/fvp/sel4/plat/api/
H A Dconstants.h13 #define seL4_NumHWBreakpoints (10) macro
/seL4-test-master/kernel/libsel4/sel4_plat_include/odroidc2/sel4/plat/api/
H A Dconstants.h14 #define seL4_NumHWBreakpoints (10) macro
/seL4-test-master/kernel/libsel4/sel4_plat_include/am335x/sel4/plat/api/
H A Dconstants.h14 #define seL4_NumHWBreakpoints (8) macro
/seL4-test-master/kernel/libsel4/sel4_plat_include/allwinnerA20/sel4/plat/api/
H A Dconstants.h14 #define seL4_NumHWBreakpoints (10) macro
/seL4-test-master/kernel/libsel4/sel4_plat_include/bcm2837/sel4/plat/api/
H A Dconstants.h14 #define seL4_NumHWBreakpoints (10) macro
/seL4-test-master/kernel/libsel4/sel4_plat_include/hikey/sel4/plat/api/
H A Dconstants.h14 #define seL4_NumHWBreakpoints (10) macro
/seL4-test-master/kernel/libsel4/sel4_plat_include/apq8064/sel4/plat/api/
H A Dconstants.h14 #define seL4_NumHWBreakpoints (10) macro
/seL4-test-master/kernel/libsel4/sel4_plat_include/exynos4/sel4/plat/api/
H A Dconstants.h14 #define seL4_NumHWBreakpoints (10) macro
/seL4-test-master/kernel/libsel4/sel4_plat_include/exynos5/sel4/plat/api/
H A Dconstants.h13 #define seL4_NumHWBreakpoints (10) macro
/seL4-test-master/kernel/libsel4/sel4_plat_include/imx31/sel4/plat/api/
H A Dconstants.h14 #define seL4_NumHWBreakpoints (8) macro
/seL4-test-master/kernel/libsel4/sel4_plat_include/imx6/sel4/plat/api/
H A Dconstants.h14 #define seL4_NumHWBreakpoints (10) macro
/seL4-test-master/kernel/libsel4/sel4_plat_include/omap3/sel4/plat/api/
H A Dconstants.h14 #define seL4_NumHWBreakpoints (8) macro
/seL4-test-master/kernel/libsel4/sel4_plat_include/imx7/sel4/plat/api/
H A Dconstants.h14 #define seL4_NumHWBreakpoints (10) macro
/seL4-test-master/kernel/libsel4/sel4_plat_include/pc99/sel4/plat/api/
H A Dconstants.h17 #define seL4_NumHWBreakpoints (4) macro
/seL4-test-master/kernel/libsel4/sel4_plat_include/imx8mm-evk/sel4/plat/api/
H A Dconstants.h13 #define seL4_NumHWBreakpoints (10) macro
/seL4-test-master/kernel/libsel4/sel4_plat_include/imx8mq-evk/sel4/plat/api/
H A Dconstants.h13 #define seL4_NumHWBreakpoints (10) macro
/seL4-test-master/kernel/libsel4/sel4_plat_include/qemu-arm-virt/sel4/plat/api/
H A Dconstants.h15 #define seL4_NumHWBreakpoints (10) macro
/seL4-test-master/kernel/libsel4/sel4_plat_include/zynq7000/sel4/plat/api/
H A Dconstants.h14 #define seL4_NumHWBreakpoints (10) macro
/seL4-test-master/kernel/libsel4/sel4_plat_include/tk1/sel4/plat/api/
H A Dconstants.h13 #define seL4_NumHWBreakpoints (10) macro
/seL4-test-master/kernel/libsel4/sel4_plat_include/zynqmp/sel4/plat/api/
H A Dconstants.h14 #define seL4_NumHWBreakpoints (10) macro
/seL4-test-master/kernel/src/arch/arm/machine/
H A Ddebug.c1232 assert(seL4_NumHWBreakpoints < sizeof(word_t) * 8);
1237 t->tcbArch.tcbContext.breakpointState.used_breakpoints_bf = MASK(seL4_NumHWBreakpoints);

Completed in 91 milliseconds