266 r0 = atomic_fetch_add((u64 *)(r1 + 0), r0)  define
267 r0 = atomic_fetch_and((u64 *)(r1 + 0), r0)  define
268 r0 = atomic_fetch_xor((u64 *)(r1 + 0), r0)  define
269 r0 = atomic_fetch_or((u64 *)(r1 + 0), r0)  define
273 r0 = xchg_64(r1 + 0, r0)  define
277 r0 = cmpxchg_64(r1 + 0, r0, r1)  define
282 r0 = *(u8*)skb[42]  define
283 r0 = *(u16*)skb[42]  define
284 r0 = *(u32*)skb[42]  define
289 r0 = *(u8*)skb[r1]  define
290 r0 = *(u16*)skb[r1]  define
291 r0 = *(u32*)skb[r1]  define
296 r0 = addr_space_cast(r1, 0, 1)  define