1 // SPDX-License-Identifier: GPL-2.0-or-later 2 3 #define TST_NO_DEFAULT_MAIN 4 #include <stdio.h> 5 #include <tst_test.h> 6 7 extern struct tst_test *tst_test; 8 9 static struct tst_test test = { 10 }; 11 main(void)12int main(void) 13 { 14 /* force messages to be printed from new library */ 15 tst_test = &test; 16 17 printf("%i\n", tst_get_free_pids()); 18 19 return 0; 20 } 21