// TO DO: replace the constants below by macro's #define'd during the configure
// phase.
-#if defined(VGA_x86)
-#define PTHREAD_MUTEX_SIZE 24
-#define PTHREAD_COND_SIZE 48
-#elif defined(VGA_amd64)
-#define PTHREAD_MUTEX_SIZE 40
-#define PTHREAD_COND_SIZE 48
+#if defined(VGP_x86_linux)
+# define PTHREAD_MUTEX_SIZE 24
+# define PTHREAD_COND_SIZE 48
+#elif defined(VGP_amd64_linux)
+# define PTHREAD_MUTEX_SIZE 40
+# define PTHREAD_COND_SIZE 48
#else
-#error Unknown platform
+# warning "Unknown platform for PTHREAD_{MUTEX,COND}_SIZE"
+# define PTHREAD_MUTEX_SIZE 32
+# define PTHREAD_COND_SIZE 32
#endif
#define PTHREAD_SPINLOCK_SIZE 4