1#include <gpuintrin.h>
2#include <stdint.h>
3
4__gpu_kernel void foo(uint32_t *out) {
5 out[__gpu_thread_id(0)] = __gpu_thread_id(0);
6}
7

source code of offload/unittests/OffloadAPI/device_code/foo.c