#include <stdint.h>
#define EXTERN extern "C"
-typedef uint64_t __kmpc_impl_lanemask_t;
typedef uint32_t omp_lock_t; /* arbitrary type of the right length */
EXTERN uint32_t __kmpc_amdgcn_gpu_num_threads();
#define PRId64 "ld"
#define PRIu64 "lu"
+typedef uint64_t __kmpc_impl_lanemask_t;
+
#define INLINE inline
#define NOINLINE __attribute__((noinline))
#define ALIGN(N) __attribute__((aligned(N)))
#include <stdint.h>
#define EXTERN extern "C"
-
-typedef uint32_t __kmpc_impl_lanemask_t;
typedef uint32_t omp_lock_t; /* arbitrary type of the right length */
#endif
#include "nvptx_interface.h"
+typedef uint32_t __kmpc_impl_lanemask_t;
+
#define INLINE inline __attribute__((always_inline))
#define NOINLINE __attribute__((noinline))
#define ALIGN(N) __attribute__((aligned(N)))