Searched refs:rw (Results 1 – 8 of 8) sorted by relevance
| /seL4-master/src/arch/x86/machine/ |
| A D | breakpoint.c | 112 PURE static inline word_t convertTypeAndAccessToArch(uint16_t bp_num, word_t type, word_t rw) in convertTypeAndAccessToArch() argument
120 type = (rw == seL4_BreakOnWrite) in convertTypeAndAccessToArch()
146 word_t type, rw; member
175 ret.rw = seL4_BreakOnRead; in convertArchToTypeAndAccess()
179 ret.rw = seL4_BreakOnWrite; in convertArchToTypeAndAccess()
184 ret.rw = seL4_BreakOnReadWrite; in convertArchToTypeAndAccess()
403 uint16_t bp_num, word_t vaddr, word_t types, word_t size, word_t rw) in setBreakpoint() argument
409 dr7val = convertTypeAndAccessToArch(bp_num, types, rw); in setBreakpoint()
456 ret.rw = res.rw; in getBreakpoint()
|
| /seL4-master/include/machine/ |
| A D | debug.h | 35 word_t vaddr, word_t type, word_t size, word_t rw);
53 word_t vaddr, type, size, rw; member
|
| /seL4-master/src/plat/tk1/machine/ |
| A D | smmu.c | 257 uint32_t UNUSED rw = (err_status & MC_ERR_RW_MASK); in plat_smmu_handle_interrupt() local
264 printf("ID: %d address: 0x%x type: %d direction: 0x%x\n", id, err_adr, type, rw); in plat_smmu_handle_interrupt()
|
| /seL4-master/src/object/ |
| A D | tcb.c | 561 word_t vaddr, word_t type, word_t size, word_t rw) in invokeSetBreakpoint() argument
563 setBreakpoint(tcb, bp_num, vaddr, type, size, rw); in invokeSetBreakpoint()
572 word_t vaddr, type, size, rw; in decodeSetBreakpoint() local
581 rw = getSyscallArg(4, buffer); in decodeSetBreakpoint()
607 if (rw != seL4_BreakOnRead) { in decodeSetBreakpoint()
641 if (rw != seL4_BreakOnRead && rw != seL4_BreakOnWrite in decodeSetBreakpoint()
642 && rw != seL4_BreakOnReadWrite) { in decodeSetBreakpoint()
643 userError("Debug: Unknown access-type %lu.", rw); in decodeSetBreakpoint()
675 error = Arch_decodeSetBreakpoint(tcb, bp_num, vaddr, type, size, rw); in decodeSetBreakpoint()
683 vaddr, type, size, rw); in decodeSetBreakpoint()
[all …]
|
| /seL4-master/include/arch/x86/arch/machine/ |
| A D | debug.h | 132 word_t size, word_t rw) in Arch_decodeSetBreakpoint() argument
|
| /seL4-master/src/arch/arm/machine/ |
| A D | debug.c | 531 word_t vaddr, word_t type, word_t size, word_t rw) in setBreakpoint() argument
578 wcr = dbg_wcr_set_loadStore(wcr, convertAccessToArch(rw)); in setBreakpoint()
612 ret.rw = seL4_BreakOnRead; in getBreakpoint()
620 ret.rw = convertArchToAccess(dbg_wcr_get_loadStore(wcr)); in getBreakpoint()
|
| /seL4-master/include/arch/arm/arch/machine/ |
| A D | debug.h | 183 word_t size, word_t rw) in Arch_decodeSetBreakpoint() argument
|
| /seL4-master/manual/parts/ |
| A D | api.tex | 106 '\texttt{seL4\_Word rw}', the access direction that will currently trigger the breakpoint,
|
Completed in 16 milliseconds