l4/pkg/ferret/examples/demo/gcc_instrument/std.c

   1 /*
   2  * (c) 2009 Technische Universität Dresden
   3  * This file is part of TUD:OS and distributed under the terms of the
   4  * GNU General Public License 2.
   5  * Please see the COPYING-GPL-2 file for details.
   6  */
   7 #include <stdio.h>
   8 #include <stdlib.h>
   9 #include <unistd.h>
  10
  11 #include <l4/util/util.h>
  12
  13 static void test1(void)
  14 {
  15     printf("test1\n");
  16 }
  17
  18 static void test2(void)
  19 {
  20     printf("test2\n");
  21     test1();
  22 }
  23
  24 int main(void)
  25 {
  26     l4_sleep(6000);
  27
  28     test1();
  29     test2();
  30
  31     return 0;
  32 }