/seL4-test-master/projects/musllibc/src/thread/ |
H A D | pthread_rwlock_rdlock.c | 3 int pthread_rwlock_rdlock(pthread_rwlock_t *rw) argument 5 return pthread_rwlock_timedrdlock(rw, 0);
|
H A D | pthread_rwlock_wrlock.c | 3 int pthread_rwlock_wrlock(pthread_rwlock_t *rw) argument 5 return pthread_rwlock_timedwrlock(rw, 0);
|
H A D | pthread_rwlock_destroy.c | 3 int pthread_rwlock_destroy(pthread_rwlock_t *rw) argument
|
H A D | pthread_rwlock_trywrlock.c | 3 int pthread_rwlock_trywrlock(pthread_rwlock_t *rw) argument 5 if (a_cas(&rw->_rw_lock, 0, 0x7fffffff)) return EBUSY;
|
H A D | pthread_rwlock_init.c | 3 int pthread_rwlock_init(pthread_rwlock_t *restrict rw, const pthread_rwlockattr_t *restrict a) argument 5 *rw = (pthread_rwlock_t){0}; 6 if (a) rw->_rw_shared = a->__attr[0]*128;
|
H A D | pthread_rwlock_timedwrlock.c | 3 int pthread_rwlock_timedwrlock(pthread_rwlock_t *restrict rw, const struct timespec *restrict at) argument 7 r = pthread_rwlock_trywrlock(rw); 11 while (spins-- && rw->_rw_lock && !rw->_rw_waiters) a_spin(); 13 while ((r=pthread_rwlock_trywrlock(rw))==EBUSY) { 14 if (!(r=rw->_rw_lock)) continue; 16 a_inc(&rw->_rw_waiters); 17 a_cas(&rw->_rw_lock, r, t); 18 r = __timedwait(&rw->_rw_lock, t, CLOCK_REALTIME, at, rw [all...] |
H A D | pthread_rwlock_unlock.c | 3 int pthread_rwlock_unlock(pthread_rwlock_t *rw) argument 5 int val, cnt, waiters, new, priv = rw->_rw_shared^128; 8 val = rw->_rw_lock; 10 waiters = rw->_rw_waiters; 12 } while (a_cas(&rw->_rw_lock, val, new) != val); 15 __wake(&rw->_rw_lock, cnt, priv);
|
H A D | pthread_rwlock_timedrdlock.c | 3 int pthread_rwlock_timedrdlock(pthread_rwlock_t *restrict rw, const struct timespec *restrict at) argument 7 r = pthread_rwlock_tryrdlock(rw); 11 while (spins-- && rw->_rw_lock && !rw->_rw_waiters) a_spin(); 13 while ((r=pthread_rwlock_tryrdlock(rw))==EBUSY) { 14 if (!(r=rw->_rw_lock) || (r&0x7fffffff)!=0x7fffffff) continue; 16 a_inc(&rw->_rw_waiters); 17 a_cas(&rw->_rw_lock, r, t); 18 r = __timedwait(&rw->_rw_lock, t, CLOCK_REALTIME, at, rw [all...] |
H A D | pthread_rwlock_tryrdlock.c | 3 int pthread_rwlock_tryrdlock(pthread_rwlock_t *rw) argument 7 val = rw->_rw_lock; 11 } while (a_cas(&rw->_rw_lock, val, val+1) != val);
|
/seL4-test-master/kernel/include/machine/ |
H A D | debug.h | 35 word_t vaddr, word_t type, word_t size, word_t rw); 44 * @param rw[out] Access type (read/write) that will trigger thr breakpoint. 53 word_t vaddr, type, size, rw; member in struct:getBreakpointRet
|
/seL4-test-master/kernel/src/arch/x86/machine/ |
H A D | breakpoint.c | 109 * @param rw Access trigger condition (read/write). 112 PURE static inline word_t convertTypeAndAccessToArch(uint16_t bp_num, word_t type, word_t rw) argument 120 type = (rw == seL4_BreakOnWrite) 143 * @param rw[out] Converted output access trigger value. 146 word_t type, rw; member in struct:__anon109 175 ret.rw = seL4_BreakOnRead; 179 ret.rw = seL4_BreakOnWrite; 184 ret.rw = seL4_BreakOnReadWrite; 400 * @param rw Access type that should trigger the BP (read/write). 403 uint16_t bp_num, word_t vaddr, word_t types, word_t size, word_t rw) 402 setBreakpoint(tcb_t *t, uint16_t bp_num, word_t vaddr, word_t types, word_t size, word_t rw) argument [all...] |
/seL4-test-master/projects/sel4test/apps/sel4test-tests/src/tests/ |
H A D | breakpoints.c | 115 static int breakpoint_triggerer_main(seL4_Word type, seL4_Word size, seL4_Word rw, seL4_Word arg3) argument 121 if (rw == seL4_BreakOnRead) { 297 test_eq(result.rw, access); 331 test_eq(result.rw, access);
|
/seL4-test-master/kernel/include/arch/x86/arch/machine/ |
H A D | debug.h | 132 word_t size, word_t rw) 130 Arch_decodeSetBreakpoint(tcb_t *t, uint16_t bp_num, word_t vaddr, word_t types, word_t size, word_t rw) argument
|
/seL4-test-master/kernel/src/plat/tk1/machine/ |
H A D | smmu.c | 257 uint32_t UNUSED rw = (err_status & MC_ERR_RW_MASK); local 264 printf("ID: %d address: 0x%x type: %d direction: 0x%x\n", id, err_adr, type, rw);
|
/seL4-test-master/kernel/include/arch/arm/arch/machine/ |
H A D | debug.h | 183 word_t size, word_t rw) 181 Arch_decodeSetBreakpoint(tcb_t *t, uint16_t bp_num, word_t vaddr, word_t type, word_t size, word_t rw) argument
|
/seL4-test-master/kernel/src/object/ |
H A D | tcb.c | 561 word_t vaddr, word_t type, word_t size, word_t rw) 563 setBreakpoint(tcb, bp_num, vaddr, type, size, rw); 572 word_t vaddr, type, size, rw; local 581 rw = getSyscallArg(4, buffer); 607 if (rw != seL4_BreakOnRead) { 641 if (rw != seL4_BreakOnRead && rw != seL4_BreakOnWrite 642 && rw != seL4_BreakOnReadWrite) { 643 userError("Debug: Unknown access-type %lu.", rw); 675 error = Arch_decodeSetBreakpoint(tcb, bp_num, vaddr, type, size, rw); 560 invokeSetBreakpoint(tcb_t *tcb, uint16_t bp_num, word_t vaddr, word_t type, word_t size, word_t rw) argument [all...] |
/seL4-test-master/tools/riscv-pk/scripts/ |
H A D | install-sh | 223 u_plus_rw=,u+rw
|
/seL4-test-master/kernel/src/arch/arm/machine/ |
H A D | debug.c | 526 * @params vaddr, type, size, rw: seL4 API values for seL4_TCB_SetBreakpoint. 531 word_t vaddr, word_t type, word_t size, word_t rw) 578 wcr = dbg_wcr_set_loadStore(wcr, convertAccessToArch(rw)); 612 ret.rw = seL4_BreakOnRead; 620 ret.rw = convertArchToAccess(dbg_wcr_get_loadStore(wcr)); 529 setBreakpoint(tcb_t *t, uint16_t bp_num, word_t vaddr, word_t type, word_t size, word_t rw) argument
|
/seL4-test-master/kernel/manual/parts/ |
H A D | api.tex | 89 '\texttt{seL4\_Word rw}', the access direction that will currently trigger the breakpoint,
|