NEXT_OFFSET
cvmx_write64_uint64((addr + NEXT_OFFSET) | (1ull << 63), next);
return cvmx_read64_uint64((addr + NEXT_OFFSET) | (1ull << 63));