Searched refs:rw (Results 1 - 19 of 19) sorted by relevance

/seL4-test-master/projects/musllibc/src/thread/
H A Dpthread_rwlock_rdlock.c3 int pthread_rwlock_rdlock(pthread_rwlock_t *rw) argument
5 return pthread_rwlock_timedrdlock(rw, 0);
H A Dpthread_rwlock_wrlock.c3 int pthread_rwlock_wrlock(pthread_rwlock_t *rw) argument
5 return pthread_rwlock_timedwrlock(rw, 0);
H A Dpthread_rwlock_destroy.c3 int pthread_rwlock_destroy(pthread_rwlock_t *rw) argument
H A Dpthread_rwlock_trywrlock.c3 int pthread_rwlock_trywrlock(pthread_rwlock_t *rw) argument
5 if (a_cas(&rw->_rw_lock, 0, 0x7fffffff)) return EBUSY;
H A Dpthread_rwlock_init.c3 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 Dpthread_rwlock_timedwrlock.c3 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 Dpthread_rwlock_unlock.c3 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 Dpthread_rwlock_timedrdlock.c3 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 Dpthread_rwlock_tryrdlock.c3 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 Ddebug.h35 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 Dbreakpoint.c109 * @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 Dbreakpoints.c115 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 Ddebug.h132 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 Dsmmu.c257 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 Ddebug.h183 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 Dtcb.c561 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 Dinstall-sh223 u_plus_rw=,u+rw
/seL4-test-master/kernel/src/arch/arm/machine/
H A Ddebug.c526 * @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 Dapi.tex89 '\texttt{seL4\_Word rw}', the access direction that will currently trigger the breakpoint,

Completed in 179 milliseconds