#define _GNU_SOURCE

/* flag to select Linux */
#define LINUX_PLATFORM
#define PPC_LINUX_PLATFORM


#include "linux-threads-primitives.c"