void *thr_count(void *arg)
{
printf_verbose("thread_begin %s, thread id : %lx, tid %lu\n",
- "counter", pthread_self(), (unsigned long)gettid());
+ "counter", (unsigned long) pthread_self(),
+ (unsigned long) gettid());
rcu_register_thread();
printf_verbose("Number of hash chains: %lu.\n",
nr_hash_chains);
printf_verbose("thread %-6s, thread id : %lx, tid %lu\n",
- "main", pthread_self(), (unsigned long)gettid());
+ "main", (unsigned long) pthread_self(),
+ (unsigned long) gettid());
tid_reader = malloc(sizeof(*tid_reader) * nr_readers);
if (!tid_reader) {