-/* @(#) $Id: ./src/headers/pthreads_op.h, 2011/09/08 dcid Exp $
- */
-
/* Copyright (C) 2009 Trend Micro Inc.
* All rights reserved.
*
* 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
+