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 15 milliseconds