| /seL4-test-master/projects/musllibc/src/thread/ |
| H A D | sem_timedwait.c | 16 while (spins-- && sem->__val[0] <= 0 && !sem->__val[1]) a_spin();
20 a_inc(sem->__val+1);
21 a_cas(sem->__val, 0, -1);
22 pthread_cleanup_push(cleanup, (void *)(sem->__val+1));
23 r = __timedwait_cp(sem->__val, -1, CLOCK_REALTIME, at, sem->__val[2]);
|
| H A D | sem_post.c | 6 int val, waiters, priv = sem->__val[2];
8 val = sem->__val[0];
9 waiters = sem->__val[1];
14 } while (a_cas(sem->__val, val, val+1+(val<0)) != val);
15 if (val<0 || waiters) __wake(sem->__val, 1, priv);
|
| H A D | sem_init.c | 11 sem->__val[0] = value;
12 sem->__val[1] = 0;
13 sem->__val[2] = pshared ? 0 : 128;
|
| H A D | sem_trywait.c | 7 while ((val=sem->__val[0]) > 0) {
8 int new = val-1-(val==1 && sem->__val[1]);
9 if (a_cas(sem->__val, val, new)==val) return 0;
|
| H A D | sem_getvalue.c | 5 int val = sem->__val[0];
|
| /seL4-test-master/projects/musllibc/arch/i386/bits/ |
| H A D | io.h | 1 static __inline void outb(unsigned char __val, unsigned short __port) argument
3 __asm__ volatile ("outb %0,%1" : : "a" (__val), "dN" (__port));
6 static __inline void outw(unsigned short __val, unsigned short __port) argument
8 __asm__ volatile ("outw %0,%1" : : "a" (__val), "dN" (__port));
11 static __inline void outl(unsigned int __val, unsigned short __port) argument
13 __asm__ volatile ("outl %0,%1" : : "a" (__val), "dN" (__port));
18 unsigned char __val; local
19 __asm__ volatile ("inb %1,%0" : "=a" (__val) : "dN" (__port));
20 return __val;
25 unsigned short __val; local
32 unsigned int __val; local
[all...] |
| /seL4-test-master/projects/musllibc/arch/i386_sel4/bits/ |
| H A D | io.h | 1 static __inline void outb(unsigned char __val, unsigned short __port) argument
3 __asm__ volatile ("outb %0,%1" : : "a" (__val), "dN" (__port));
6 static __inline void outw(unsigned short __val, unsigned short __port) argument
8 __asm__ volatile ("outw %0,%1" : : "a" (__val), "dN" (__port));
11 static __inline void outl(unsigned int __val, unsigned short __port) argument
13 __asm__ volatile ("outl %0,%1" : : "a" (__val), "dN" (__port));
18 unsigned char __val; local
19 __asm__ volatile ("inb %1,%0" : "=a" (__val) : "dN" (__port));
20 return __val;
25 unsigned short __val; local
32 unsigned int __val; local
[all...] |
| /seL4-test-master/projects/musllibc/arch/x32/bits/ |
| H A D | io.h | 1 static __inline void outb(unsigned char __val, unsigned short __port) argument
3 __asm__ volatile ("outb %0,%1" : : "a" (__val), "dN" (__port));
6 static __inline void outw(unsigned short __val, unsigned short __port) argument
8 __asm__ volatile ("outw %0,%1" : : "a" (__val), "dN" (__port));
11 static __inline void outl(unsigned int __val, unsigned short __port) argument
13 __asm__ volatile ("outl %0,%1" : : "a" (__val), "dN" (__port));
18 unsigned char __val; local
19 __asm__ volatile ("inb %1,%0" : "=a" (__val) : "dN" (__port));
20 return __val;
25 unsigned short __val; local
32 unsigned int __val; local
[all...] |
| /seL4-test-master/projects/musllibc/arch/x86_64/bits/ |
| H A D | io.h | 1 static __inline void outb(unsigned char __val, unsigned short __port) argument
3 __asm__ volatile ("outb %0,%1" : : "a" (__val), "dN" (__port));
6 static __inline void outw(unsigned short __val, unsigned short __port) argument
8 __asm__ volatile ("outw %0,%1" : : "a" (__val), "dN" (__port));
11 static __inline void outl(unsigned int __val, unsigned short __port) argument
13 __asm__ volatile ("outl %0,%1" : : "a" (__val), "dN" (__port));
18 unsigned char __val; local
19 __asm__ volatile ("inb %1,%0" : "=a" (__val) : "dN" (__port));
20 return __val;
25 unsigned short __val; local
32 unsigned int __val; local
[all...] |
| /seL4-test-master/projects/musllibc/arch/x86_64_sel4/bits/ |
| H A D | io.h | 1 static __inline void outb(unsigned char __val, unsigned short __port) argument
3 __asm__ volatile ("outb %0,%1" : : "a" (__val), "dN" (__port));
6 static __inline void outw(unsigned short __val, unsigned short __port) argument
8 __asm__ volatile ("outw %0,%1" : : "a" (__val), "dN" (__port));
11 static __inline void outl(unsigned int __val, unsigned short __port) argument
13 __asm__ volatile ("outl %0,%1" : : "a" (__val), "dN" (__port));
18 unsigned char __val; local
19 __asm__ volatile ("inb %1,%0" : "=a" (__val) : "dN" (__port));
20 return __val;
25 unsigned short __val; local
32 unsigned int __val; local
[all...] |
| /seL4-test-master/projects/musllibc/include/sys/ |
| H A D | statfs.h | 13 int __val[2]; member in struct:__fsid_t
|
| /seL4-test-master/projects/musllibc/include/ |
| H A D | semaphore.h | 18 volatile int __val[4*sizeof(long)/sizeof(int)]; member in struct:__anon267
|
| /seL4-test-master/tools/riscv-pk/machine/ |
| H A D | fp_emulation.h | 31 uint64_t __val = (val); \
32 register uintptr_t value asm("a0") = sizeof(uintptr_t) == 4 ? (uintptr_t)&__val : (uintptr_t)__val; \
|
| /seL4-test-master/projects/musllibc/src/stat/ |
| H A D | statvfs.c | 40 out->f_fsid = in->f_fsid.__val[0];
|