1 // SPDX-License-Identifier: GPL-2.0
2 // Copyright (C) 2019, Red Hat Inc, Arnaldo Carvalho de Melo <acme@redhat.com>
3 #define _GNU_SOURCE
4 #include <unistd.h>
5 
6 int main(void)
7 {
8 	return gettid();
9 }
10 
11 #undef _GNU_SOURCE
12