-/* @(#) $Id: pthreads_op.h,v 1.6 2009/06/24 17:06:26 dcid Exp $ */
-
/* Copyright (C) 2009 Trend Micro Inc.
* All rights reserved.
*
* This program is a free software; you can redistribute it
* and/or modify it under the terms of the GNU General Public
- * License (version 3) as published by the FSF - Free Software
+ * License (version 2) as published by the FSF - Free Software
* Foundation
*/
-
#ifndef PTHREADS_OP_H
#define PTHREADS_OP_H
#ifndef WIN32
-int CreateThread(void *function_pointer(void *data), void *data);
+int CreateThread(void *function_pointer(void *data), void *data) __attribute__((nonnull(1)));
#endif
#endif
+