Searched defs:is_reply (Results 1 - 4 of 4) sorted by relevance
/seL4-test-master/kernel/include/arch/arm/arch/machine/ |
H A D | debug.h | 128 Arch_decodeConfigureSingleStepping(tcb_t *t, uint16_t bp_num, word_t n_instr, bool_t is_reply) argument
|
/seL4-test-master/kernel/include/arch/x86/arch/machine/ |
H A D | debug.h | 117 Arch_decodeConfigureSingleStepping(tcb_t *t, uint16_t bp_num, word_t n_instr, bool_t is_reply) argument
|
/seL4-test-master/kernel/src/arch/x86/machine/ |
H A D | breakpoint.c | 517 configureSingleStepping(tcb_t *t, uint16_t bp_num, word_t n_instr, UNUSED bool_t is_reply) argument
|
/seL4-test-master/kernel/src/arch/arm/machine/ |
H A D | debug.c | 662 configureSingleStepping(tcb_t *t, uint16_t bp_num, word_t n_instr, bool_t is_reply) argument
|
Completed in 324 milliseconds