1
2 #include <l4/sys/l4int.h>
3
4 l4_uint32_t
__atomic_fetch_add_4(l4_uint32_t * v,l4_uint32_t a,int mm)5 __atomic_fetch_add_4(l4_uint32_t *v, l4_uint32_t a, int mm)
6 { __builtin_trap(); return *v; }
7
8 l4_uint32_t
__atomic_fetch_sub_4(l4_uint32_t * v,l4_uint32_t a,int mm)9 __atomic_fetch_sub_4(l4_uint32_t *v, l4_uint32_t a, int mm)
10 { __builtin_trap(); return *v; }
11
12 l4_uint32_t
__atomic_compare_exchange_4(l4_uint32_t * d,l4_uint32_t cmp,l4_uint32_t nv,int weak,int mmok,int mmerr)13 __atomic_compare_exchange_4(l4_uint32_t *d, l4_uint32_t cmp,
14 l4_uint32_t nv, int weak, int mmok, int mmerr)
15 { __builtin_trap(); return 0; }
16