| /seL4-refos-master/libs/libmuslc/arch/riscv/ |
| H A D | atomic_arch.h | 19 #define a_cas_p a_cas_p macro
20 static inline void *a_cas_p(volatile void *p, void *t, void *s) function
|
| /seL4-refos-master/libs/libmuslc/arch/riscv_sel4/ |
| H A D | atomic_arch.h | 19 #define a_cas_p a_cas_p macro
20 static inline void *a_cas_p(volatile void *p, void *t, void *s) function
|
| /seL4-refos-master/libs/libmuslc/arch/s390x/ |
| H A D | atomic_arch.h | 10 #define a_cas_p a_cas_p macro
11 static inline void *a_cas_p(volatile void *p, void *t, void *s) function
|
| /seL4-refos-master/libs/libmuslc/arch/aarch64/ |
| H A D | atomic_arch.h | 53 #define a_cas_p a_cas_p macro
54 static inline void *a_cas_p(volatile void *p, void *t, void *s) function
|
| /seL4-refos-master/libs/libmuslc/arch/aarch64_sel4/ |
| H A D | atomic_arch.h | 53 #define a_cas_p a_cas_p macro
54 static inline void *a_cas_p(volatile void *p, void *t, void *s) function
|
| /seL4-refos-master/libs/libmuslc/arch/x86_64/ |
| H A D | atomic_arch.h | 10 #define a_cas_p a_cas_p macro
11 static inline void *a_cas_p(volatile void *p, void *t, void *s) function
|
| /seL4-refos-master/libs/libmuslc/arch/x86_64_sel4/ |
| H A D | atomic_arch.h | 10 #define a_cas_p a_cas_p macro
11 static inline void *a_cas_p(volatile void *p, void *t, void *s) function
|
| /seL4-refos-master/libs/libmuslc/src/internal/ |
| H A D | atomic.h | 87 #ifndef a_cas_p
88 #define a_cas_p a_cas_p macro
89 static inline void *a_cas_p(volatile void *p, void *t, void *s) function
228 #ifndef a_cas_p
230 #define a_cas_p a_cas_p macro
231 static inline void *a_cas_p(volatile void *p, void *t, void *s) function
|
| /seL4-refos-master/libs/libmuslc/src/sched/ |
| H A D | sched_getcpu.c | 19 a_cas_p(&vdso_func, (void *)getcpu_init, p);
|
| /seL4-refos-master/libs/libmuslc/src/thread/ |
| H A D | pthread_key_create.c | 24 if (!a_cas_p(keys+j, 0, (void *)dtor)) {
|
| H A D | synccall.c | 34 while (a_cas_p(&head, ch.next, &ch) != ch.next);
|
| /seL4-refos-master/libs/libmuslc/src/time/ |
| H A D | clock_gettime.c | 19 a_cas_p(&vdso_func, (void *)cgt_init, p);
|
| /seL4-refos-master/libs/libmuslc/src/locale/ |
| H A D | dcngettext.c | 71 a_cas_p(&bindings, bindings, p);
185 } while (a_cas_p(&cats, old_cats, p) != old_cats);
220 a_cas_p(&p->plural_rule, 0, (void *)rule);
|