| /seL4-test-master/projects/sel4test/apps/sel4test-tests/src/tests/ |
| H A D | breakpoints.h | 33 seL4_Word vaddr, vaddr2, reason, bp_num; member in struct:__anon527
|
| /seL4-test-master/kernel/include/arch/arm/arch/machine/ |
| H A D | debug.h | 113 static uint16_t convertBpNumToArch(uint16_t bp_num) argument
121 static word_t getTypeFromBpNum(uint16_t bp_num) argument
128 Arch_decodeConfigureSingleStepping(tcb_t *t, uint16_t bp_num, word_t n_instr, bool_t is_reply) argument
181 Arch_decodeSetBreakpoint(tcb_t *t, uint16_t bp_num, word_t vaddr, word_t type, word_t size, word_t rw) argument
225 Arch_decodeGetBreakpoint(tcb_t *t, uint16_t bp_num) argument
239 Arch_decodeUnsetBreakpoint(tcb_t *t, uint16_t bp_num) argument
[all...] |
| /seL4-test-master/kernel/include/arch/x86/arch/machine/ |
| H A D | debug.h | 53 static inline void setBreakpointUsedFlag(tcb_t *t, uint16_t bp_num) argument
60 static inline void unsetBreakpointUsedFlag(tcb_t *t, uint16_t bp_num) argument
154 static inline syscall_error_t Arch_decodeGetBreakpoint(tcb_t *t, uint16_t bp_num) argument
117 Arch_decodeConfigureSingleStepping(tcb_t *t, uint16_t bp_num, word_t n_instr, bool_t is_reply) argument
130 Arch_decodeSetBreakpoint(tcb_t *t, uint16_t bp_num, word_t vaddr, word_t types, word_t size, word_t rw) argument
169 Arch_decodeUnsetBreakpoint(tcb_t *t, uint16_t bp_num) argument
[all...] |
| /seL4-test-master/kernel/src/arch/x86/machine/ |
| H A D | breakpoint.c | 81 static void unsetDr7BitsFor(tcb_t *t, uint16_t bp_num) argument
112 PURE static inline word_t convertTypeAndAccessToArch(uint16_t bp_num, word_t type, word_t rw) argument
149 PURE static inline convertedTypeAndAccess_t convertArchToTypeAndAccess(word_t dr7, uint16_t bp_num) argument
196 convertSizeToArch(uint16_t bp_num, word_t type, word_t size) argument
240 convertArchToSize(word_t dr7, uint16_t bp_num) argument
292 enableBreakpoint(tcb_t *t, uint16_t bp_num) argument
320 disableBreakpoint(tcb_t *t, uint16_t bp_num) argument
348 breakpointIsEnabled(tcb_t *t, uint16_t bp_num) argument
368 setBpVaddrContext(tcb_t *t, uint16_t bp_num, word_t vaddr) argument
402 setBreakpoint(tcb_t *t, uint16_t bp_num, word_t vaddr, word_t types, word_t size, word_t rw) argument
418 getBpVaddrContext(tcb_t *t, uint16_t bp_num) argument
445 getBreakpoint(tcb_t *t, uint16_t bp_num) argument
467 unsetBreakpoint(tcb_t *t, uint16_t bp_num) argument
517 configureSingleStepping(tcb_t *t, uint16_t bp_num, word_t n_instr, UNUSED bool_t is_reply) argument
552 int bp_num; member in struct:__anon111
[all...] |
| /seL4-test-master/kernel/include/arch/arm/arch/32/mode/machine/ |
| H A D | debug.h | 176 static inline void setBreakpointUsedFlag(tcb_t *t, uint16_t bp_num) argument
183 static inline void unsetBreakpointUsedFlag(tcb_t *t, uint16_t bp_num) argument
|
| /seL4-test-master/kernel/src/arch/arm/machine/ |
| H A D | debug.c | 485 static uint16_t getBpNumFromType(uint16_t bp_num, word_t type) argument
529 setBreakpoint(tcb_t *t, uint16_t bp_num, word_t vaddr, word_t type, word_t size, word_t rw) argument
597 getBreakpoint(tcb_t *t, uint16_t bp_num) argument
632 unsetBreakpoint(tcb_t *t, uint16_t bp_num) argument
662 configureSingleStepping(tcb_t *t, uint16_t bp_num, word_t n_instr, bool_t is_reply) argument
[all...] |
| /seL4-test-master/kernel/src/object/ |
| H A D | tcb.c | 540 uint16_t bp_num; local
560 static exception_t invokeSetBreakpoint(tcb_t *tcb, uint16_t bp_num, argument
522 invokeConfigureSingleStepping(word_t *buffer, tcb_t *t, uint16_t bp_num, word_t n_instrs) argument
571 uint16_t bp_num; local
686 invokeGetBreakpoint(word_t *buffer, tcb_t *tcb, uint16_t bp_num) argument
702 uint16_t bp_num; local
718 invokeUnsetBreakpoint(tcb_t *tcb, uint16_t bp_num) argument
729 uint16_t bp_num; local
[all...] |